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
Hi. I've been using eval $(opam env --switch=SWITCH --set-switch) for a while to change the switch since that is what it says in the man-pages. Is that still recommended, also when using local switches? Might it be a good idea to point out in the man-pages that it overrides the OPAMSWITCH variable? I've talked about that with @kit-ty-kate.
The text was updated successfully, but these errors were encountered:
Hi. I've been using
eval $(opam env --switch=SWITCH --set-switch)
for a while to change the switch since that is what it says in the man-pages. Is that still recommended, also when using local switches? Might it be a good idea to point out in the man-pages that it overrides theOPAMSWITCH
variable? I've talked about that with @kit-ty-kate.The text was updated successfully, but these errors were encountered: