I am using opam with a nonconventional .opam location. Why does the init scripts correctly set all variables regarding opam except OPAMROOT?
1 Like
I have OPAMROOT
to point to /usr/local/opam
and I certainly would not like the init scripts to mess with it.
And I set it in .bashrc
/ .profile
What’s your use case if I may?
Why would a “export OPAMROOT=/usr/local/opam” be detrimental in the init scripts?