Ask Your Question

What can I delete?

asked 2012-06-08 02:29:41 -0600

bk322 gravatar image

updated 2015-01-14 07:46:50 -0600

FrédéricC gravatar image

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?

edit retag flag offensive close merge delete

2 answers

Sort by » oldest newest most voted

answered 2012-06-08 14:14:03 -0600

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/.

edit flag offensive delete link more


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;

bk322 gravatar imagebk322 ( 2012-06-09 04:33:20 -0600 )edit

For updates, I would try `sage --upgrade`, or `sage --upgrade URL`. I don't know how updating interacts with removing these folders.

John Palmieri gravatar imageJohn Palmieri ( 2012-06-09 04:48:44 -0600 )edit

answered 2012-06-08 12:36:46 -0600

Eviatar Bach gravatar image

You should be able to delete the devel folder, assuming you don't want to re-compile or get involved in Sage development.

edit flag offensive delete link more


But docs seem to be in devel?

bk322 gravatar imagebk322 ( 2012-06-09 04:29:25 -0600 )edit

Yes, docs are in devel. I wouldn't delete all of devel.

John Palmieri gravatar imageJohn Palmieri ( 2012-06-09 04:44:16 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2012-06-08 02:29:41 -0600

Seen: 135 times

Last updated: Jun 08 '12