Ask Your Question
1

Clean binary from /usr/bin after uninstall

asked 5 years ago

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 ?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
3

answered 5 years ago

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.

Preview: (hide)
link

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: 5 years ago

Seen: 839 times

Last updated: Jun 02 '19