Para desinstalar o software instalado com sudo make install , a melhor maneira de removê-lo é usando sudo make uninstall .
Tudo bem, eu tenho esse problema onde eu instalei duas versões diferentes do swi-prólogo.
Eu manualmente instalei o swi-prolog (swipl) versão 5.10.4 de um arquivo tar, o que eu vejo agora é uma coisa estúpida. (Não me lembro por que fiz exatamente isso, mas isso é além do ponto.)
Então eu queria obter a versão mais recente do prólogo, então segui estes passos:
sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog
Agora, se eu fizer
swipl --version
Eu obtenho
SWI-Prolog version 5.10.4 for x86_64-linux
E se eu fizer
/usr/bin/swipl --version
Eu obtenho
SWI-Prolog version 6.4.1 for amd64
Eu só quero a versão 6.4.1 no meu computador.
Eu procurei na internet por horas, mas não consegui descobrir como resolver o problema. (Talvez eu tenha procurado os termos / tags errados, não sei ..)
Então, descobri que a versão 5.10.4 pode ser encontrada em / usr / local / bin / enquanto a versão 6.4.1 está em / usr / bin /. Não posso apenas rm a versão 5.10.4 de / usr / local / bin / then? Ou isso não é limpo? deixa arquivos obsoletos em algum lugar no disco?
Acabei de excluir o arquivo swipl em / usr / local / bin / swipl com o comando rm . Agora eu recebo a versão 6.4.1 sempre que ligo swipl, mas ainda me pergunto se esta é uma boa solução.
A saída de type swipl é swipl is /usr/local/bin/swipl e a saída de dpkg -S $(type swipl | awk '{print }') é dpkg-query: no path found matching pattern /usr/local/bin/swipl.
Eu descompactei o arquivo .tar e executei o make a partir da origem (pasta src) que estava no arquivo .tar. Em seguida, instalei o programa usando sudo make install .
Para desinstalar o software instalado com sudo make install , a melhor maneira de removê-lo é usando sudo make uninstall .
Tags uninstall