更新：我已经解决了这个问题，但我仍然很困惑。
或者，更确切地说，没有问题......显然 opam--version 命令仍然有效这一事实并没有阻止我重新运行所有安装命令并使一切再次正常工作......？
我真的很困惑为什么我没有遇到比现在更多的问题。即使 opam 被删除，版本命令仍然有效吗......不知何故？我的计算机上是否有两个不同的 opam 副本，但不知何故它们没有干扰？我确实运行了两次安装......我觉得应该出了问题......有人可以解释一下发生了什么事吗？
以下是我最初的问题：
我在某处弄乱了一些开关（错误是
ERROR] No config file found for switch
with-coq. Switch broken?
如果你们中的一个人足够天才，可以直接解决这个问题，哈哈）
我正在尝试删除所有内容并重新开始。不过，奥帕姆不会消失。我试过了
opam remove --force
按照这里和
opam uninstall
按照这里，两者都来自我的主目录。我还尝试使用 rm -rf 强制删除 .opam 目录。毕竟，命令 opam --version 命令仍然有效。我怎样才能让这该死的东西消失呢？
谢谢你们。
如果要删除opam 二进制文件，则必须按照安装方式卸载它，使用包管理器，或者，如果您手动安装，则运行which opam并删除打印的文件。
opam 开关是数据，它们与命令~/.opam分开。opam一般来说，所有包管理器和几乎所有程序都是如此。