Hello,
I installed Sage on a partition that is now running out of space. I'd like to move its ~1.5Gigs to another partition that has space aplenty. Is there a way to do this, maintaining the ability to invoke sage from the terminal etc., other than to rebuild it completely in the new spot (which takes ages on my slow machine)?
thanks!
You can just move the directory containing Sage to the new place. When you are done copying the files, go to that directory and run the sage script directtly, either by clicking on it from the files manager or by typing
$ ./sage
on the command prompt.
The first time you run Sage from its new location, it will go through the files and make the changes required. After it starts, use the install_scripts() function to replace the old scripts on your system to launch Sage, Singular, Gap, etc. with the new ones.
This does not seem to work any more. At least, for the 8.1 version it does not. And the documentation now says "...once you have built Sage, you will not be able to move or rename its directory without likely breaking Sage."
Asked: 2010-10-10 06:45:32 +0200
Seen: 544 times
Last updated: Oct 10 '10
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
