Clean binary from /usr/bin after uninstall
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 ?