怎么卸载opam？

Question

更新:我已经解决了问题，但我还是很困惑。

或者，更确切地说，没有一个problem...apparently -opam-版本命令仍然有效的事实并没有阻止我重新运行所有的安装命令和让东西重新工作…？

我真的很困惑为什么我没有遇到比我更多的问题即使opam是deleted...somehow，version命令仍然有效吗？？我的电脑上有两份截然不同的opam，但不知怎么的，它们并没有干扰我吗？我确实运行了两次……我觉得应该有什么事情要进行了，wrong.....could，有人请你解释一下发生了什么？

以下是我的第一个问题：

我在某个地方搞砸了一些开关(错误是

ERROR] No config file found for switch with-coq. Switch broken?

如果你们中的一个是天才，可以直接解决这个问题)

我试着删除所有的东西重新开始。不过，Opam不会走的。我试过了

opam remove --force

根据这里和

opam uninstall

根据这里，两者都来自我的主目录。我还尝试使用rm -rf强制删除-rf目录。在所有这些之后，opam -version命令仍然有效。我怎么才能把那该死的东西弄走？

谢谢你们所有人。

Answer 1

如果要删除opam二进制文件，则必须以安装它的方式卸载它，使用包管理器，或者，如果手动安装，则运行which opam，然后删除打印的文件。

~/.opam中的opam开关是数据，它们与opam命令是分开的。一般来说，所有的包管理器和几乎所有的程序都是如此。

Answer 2

若要删除包含其所有包的ocaml版本，请使用以下命令.

opam switch remove <version>