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
Instead of having their configuration files tempered with, some users (e.g., me) would prefer to have user-setup spit out the configuration lines on stdout. These can be added easily to existing configuration file manually.
How about opam user-setup print which would print the different additions it would make with opam user-setup install?
This combines with opam user-setup print --editor=foo to print only the configuration for one editor.
The text was updated successfully, but these errors were encountered:
Instead of having their configuration files tempered with, some users (e.g., me) would prefer to have
user-setup
spit out the configuration lines on stdout. These can be added easily to existing configuration file manually.How about
opam user-setup print
which would print the different additions it would make withopam user-setup install
?This combines with
opam user-setup print --editor=foo
to print only the configuration for one editor.The text was updated successfully, but these errors were encountered: