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