すでに作ってあるopam switch環境を特定のディレクトリにでいつも使いたいときってありますよね。opam環境をディレクトリに紐づける方法があるんです。
例えば次のようにRocq 9用の環境 rocq9 を作っていたとします。
opam switch create rocq9 ocaml.5.2.0
ここで、なにか現在のディレクトリでこの環境をいつも使いたい時は次のようにopam環境の関連付けをします。
opam switch link rocq9 .
opam switch link <switch環境> <ディレクトリ> で指定する感じですね。これをしておけば、このディレクトリに移動した時にいつもこの rocq9 環境を使うようにしてくれるんです。もちろん最初からswitch環境をディレクトリごとで作っていれば必要ないんですが、複数のディレクトリで使いたい環境とかもありますもんね。
そしてやっぱりこのリンクを削除したいって時は次のようにします。
opam switch remove .
楽しんでね！