删除重复的软件包安装,当“软件包 [] 未安装,因此未删除”时,并执行:*** 没有规则来使目标“卸载”

删除重复的软件包安装,当“软件包 [] 未安装,因此未删除”时,并执行:*** 没有规则来使目标“卸载”

我不小心安装了同一个包两次:

$ whereis agda
agda: /home/me/.local/bin/agda /home/me/.cabal/bin/agda

我无法使用 sudo apt 删除它:

$ sudo apt remove agda
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Package 'agda' is not installed, so not removed

我进入其中一个包目录并尝试

$ sudo make uninstall
make: *** No rule to make target 'uninstall'.  Stop.

我怎样才能彻底摆脱这些包裹?

相关内容