ОБНОВЛЕНИЕ: Я исправил проблему, но я все еще в замешательстве.
Или, скорее, проблемы не было... очевидно, тот факт, что команда opam--version все еще работала, не помешал мне повторно запустить все команды установки и заставить все снова работать.....?
Я действительно смущен тем, почему у меня не больше проблем, чем я. Команда версии все еще работает, даже если opam удален... каким-то образом?? У меня есть две разные копии opam на моем компьютере, но они почему-то не мешают? Я определенно запускал установку дважды... Я чувствую, что что-то должно идти не так... Может кто-нибудь объяснить, что происходит?
Ниже мой первоначальный вопрос:
Я где-то перепутал какой-то переключатель (ошибка
ERROR] No config file found for switch
with-coq. Switch broken?
если один из вас достаточно гений, чтобы исправить это напрямую, лол)
и я пытаюсь удалить все и начать заново. Однако Опам никуда не исчезнет. я пытался
opam remove --force
согласно здесь и
opam uninstall
согласно здесь, оба из моего домашнего каталога. Я также пытался принудительно удалить каталог .opam с помощью rm -rf. После всего этого команда opam --version по-прежнему работает. Как заставить эту чертову штуку уйти?
Спасибо вам всем.