Ask Your Question
1

Clean binary from /usr/bin after uninstall

asked 2019-06-01 17:27:31 +0100

gus gravatar image

Hi, I am working on Ubuntu 18.04 LTS.

After an unfortunate experience with the package version of sage, which I installed via apt-get, I decided to install Sage from source. Then, I ran sudo apt-get remove sagemath, but after the removal, I still have a binary in /usr/bin/sage : is it ok to replace it by the binary which I compiled, using a symbolic link ?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
3

answered 2019-06-02 22:43:37 +0100

tmonteil gravatar image

If /usr/bin/sage comes from a package install, it should disapear when the package that provides this file is removed. Hence, i bet that this binary comes from a depedency of sagemath, probably sagemath-common since /usr/bin/sage is a shell script hence architecture independent. So, you could let the distro remove that file by removing the trailing dependencies, by running apt-get autoremove.

Regarding your own compiled version of Sage, you should better symlink from /usr/local/bin to keep distribution-related and self-compiled software separated. This is also in the default PATH, so it will work the same, just a little bit cleaner.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-06-01 17:27:31 +0100

Seen: 783 times

Last updated: Jun 02 '19