☰

意外安装了两个版本的 swi-prolog，需要帮助来修复它

tag-icon • tag-icon uninstall
意外安装了两个版本的 swi-prolog，需要帮助来修复它

好吧，我遇到了这个问题，我安装了两个不同版本的 swi-prolog。

我从一个 tar 文件手动安装了 swi-prolog (swipl) 版本 5.10.4，现在看来这是一件愚蠢的事情。（我不记得我为什么要这么做，但这不是重点。）

然后我想获取最新版本的 prolog，因此我按照以下步骤操作：

sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog

现在如果我这样做

swipl --version

我明白了

SWI-Prolog version 5.10.4 for x86_64-linux

如果我这么做

/usr/bin/swipl --version

我明白了

SWI-Prolog version 6.4.1 for amd64

我只希望我的电脑上安装 6.4.1 版本。

我在网上搜索了几个小时，但找不到解决问题的方法。（也许我一直在搜索错误的术语/标签，我不知道……）

因此，我发现 5.10.4 版本可以在 /usr/local/bin/ 中找到，而 6.4.1 版本在 /usr/bin/ 中。那么，我不能直接从 /usr/local/bin/ 中 rm 5.10.4 版本吗？或者这样做不干净，例如，它会在磁盘上的某个地方留下过时的文件吗？

我刚刚删除了该文件斯维普尔在/usr/local/bin/swipl与R M-命令。现在，只要我调用 swipl，我就会获得 6.4.1 版本，但我仍然怀疑这是否是一个好的解决方案。

的输出type swipl是swipl is /usr/local/bin/swipl和的输出dpkg -S $(type swipl | awk '{print $3}')是dpkg-query: no path found matching pattern /usr/local/bin/swipl.

我解压了 .tar 文件并从 .tar 文件中的源代码 (src 文件夹) 运行 make。然后使用 安装程序sudo make install。

答案1

要卸载已安装的软件，sudo make install最好的方法是使用sudo make uninstall。

相关内容