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 ?
