What can I delete?

source

asked 12 years ago

bk322
83 ●6 ●11 ●17

updated 10 years ago

FrédéricC

5426 ●4 ●44 ●121

So I've compiled sage from sources. The sage folder is now 3Gb. I guess I've no need for some files... What can I delete? Is there any reason I should not delete these things?

add a comment

2 Answers

Sort by » oldest newest most voted

answered 12 years ago

John Palmieri

8906 ●20 ●74 ●193 http://www.math.washin...

In principle, you should be able to type make micro_release, but this may be broken, depending on your platform. (I think that if it's broken, it will still result in a working Sage installation, just one that isn't as small as it should be.)

When you run sage micro_release, it runs the script local/bin/sage-micro-release, which among other things removes the directories devel/sage/build/temp.* and devel/sage/build/lib.*. You should be able to delete those safely by hand, if the script fails.

You can also safely remove the directory spkg/logs/. If you're sure you're not going to need to reinstall anything, you could remove spkg/standard/.

link

Comments

What about the update? Will removing of these folders affect update? And what is the righteous way of updating by the way? I heard it is `hg_scripts.pull()` - but never tried it yet. You were right - `micro_release` is broken - both in sage4.8 and 5.0;