Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Switch defaults configuration file #2930

Closed
wants to merge 3 commits into from
Closed

Switch defaults configuration file #2930

wants to merge 3 commits into from

Commits on Jun 19, 2019

  1. Add switch-specific global variables to opamrc 

    Add a new format for switch-specific global variables along the lines of
the the "global-variables" field in /etc/opamrc. This new field
"switch-variables" is added to a configuration type "switch-defaults"
which may be embedded as a section in /etc/opamrc.

The motiviation here is to be able to specific switch-specific global
variables which can be fed to opam switch create either by the command
line or by specifying an alternate configuration file.

Signed-off-by: David Allsopp <david.allsopp@metastack.com>
    @dra27
    dra27 committed Jun 19, 2019
    Configuration menu
    Copy the full SHA
    d249fbf View commit details
    Browse the repository at this point in the history

  2. Add OpamInitDefaults.switch_defaults 

    Default switch configuration (empty, at present)

Signed-off-by: David Allsopp <david.allsopp@metastack.com>
    @dra27
    dra27 committed Jun 19, 2019
    Configuration menu
    Copy the full SHA
    fd53192 View commit details
    Browse the repository at this point in the history

  3. Apply switch-defaults 

    opam switch create now also supports the --default-config and --config
also found in opam init. For opam switch create, --config specifies a
switch-defaults file, not an opamrc, but if not specified, opam will
look for a switch-defaults section in opamrc.

Signed-off-by: David Allsopp <david.allsopp@metastack.com>
    @dra27
    dra27 committed Jun 19, 2019
    Configuration menu
    Copy the full SHA
    52ddeae View commit details
    Browse the repository at this point in the history