You can also set the OPAMROOT
variable to something that points to your SSD. It will be used as the “opam root” instead of $HOME/.opam
.
3 Likes
You can also set the OPAMROOT
variable to something that points to your SSD. It will be used as the “opam root” instead of $HOME/.opam
.