我正在尝试在 MacOS Catalina 上的 iTerm 2 中使用 firacode 字体。我启用了“使用连字”，但只有部分连字真正起作用。特别是，箭头配置正确，但希腊字母和“www”配置不正确。我也尝试过furacode字体，但没有成功。我可以尝试做什么来解决这个问题？如果相关的话，我正在使用 vim 作为文本编辑器。谢谢。
我正在按照这些说明使用 opam 安装 coq并收到错误消息
`No solution for coq: The following dependencies couldn't be met:
- coq ? ocaml < 4.10
base of this switch (use '--unlock-base' to force)
我继续使用以下命令切换到 ocaml 4.05.0
opam switch create with-coq 4.05.0
并且可以成功安装 Coq，但我更愿意使用 ocaml 的更新版本。这是 Coq 和 oCaml 之间的实际不兼容，还是我做错了什么？
对于添加的上下文，我现在使用 opam 2.0.6、ocaml 版本 4.05.0 和 Coq 版本 8.11.0。我的操作系统是 macOS。之前，唯一的区别是我尝试使用 ocaml 4.10.0。
谢谢！
更新：我已经解决了这个问题，但我仍然很困惑。
或者，更确切地说，没有问题......显然 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 命令仍然有效。我怎样才能让这该死的东西消失呢？
谢谢你们。