You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
opam admin --help shows OPAMNOSELFUPGRADE in ENVIRONMENT VARIABLES but doesn't actually support it, or the --no-self-upgrade.
For consistency, global options should probably be available globally 🙂 It should just be a matter of moving the wrapping in OpamCommands.global_options into OpamArg.global_options.
The text was updated successfully, but these errors were encountered:
Having looked at this in more detail, this would entail a bigger change of behaviour. At the moment, all commands exceptopam admin do self-upgrading (and so have --no-self-upgrade). It obviously makes no sense to add --no-self-upgrade to opam admin without also making it do the self-upgrade. However, that's a less-obvious change, so I'm going to bump this to next.
dra27
changed the title
opam admin should support --no-self-upgrade
opam admin should self-upgrade (as other commands do)
Mar 11, 2021
opam admin --help
showsOPAMNOSELFUPGRADE
inENVIRONMENT VARIABLES
but doesn't actually support it, or the--no-self-upgrade
.For consistency, global options should probably be available globally 🙂 It should just be a matter of moving the wrapping in
OpamCommands.global_options
intoOpamArg.global_options
.The text was updated successfully, but these errors were encountered: