Hi,
I should tell you before: of course I have searched before I wrote this question. Threads exist, but are old, not relevant anymore.
However, here is my problem: I am on Ubuntu, and the first time I installed Sage I used the PPA. But this PPA isn't up to date very often, since Sage is currently v8.0 and the PPA is still 7.5.1, seems to be permanently late (very late).
So, I'd like to know how I may possibly change my method of installation, and to use the pre-built binaries for linux to replace my current installation, but I'm not familiar with this method.
Thank you for your help.