There isn't an easy way to "delete everything thats not needed in a
system-wide install". Ideally you should only need the "sage" script and
the SAGE_LOCAL tree, but that is currently not the case.
In the binary packaging I'm excluding the following:
- exclude: '**.pyc'
- exclude: '**.pyo'
- exclude: upstream/**
- exclude: src/doc/output/doctrees/**
- exclude: src/build/lib.*/**
- exclude: src/build/temp.*/**
- exclude: logs/**
- exclude: config.log
TODOs are at least
* The Cython debugging information should be installed in SAGE_SHARE or so
* Ditto for the documentation (html+pdf output, not the intermediate
doctrees)
* Doctests that rely on the Sage source tree should be removed / made
optional (e.g. sagedev)
The 6.3GB are probably a few big databases, there isn't much that you can
do about that besides not installing them...
On Wednesday, December 30, 2015 at 4:07:59 PM UTC+1, William wrote:
>
> Hi,
>
> I just built Sage-6.10 from source and installed quite a few packages,
> which uses a total of 10G
> of precious disk space:
>
> salvus@compute0-us:/projects/sage/sage-6.10$ du -sch * |sort -h
> 0 config.log
> 0 data
> 4.0K bootstrap
> 4.0K home
> 4.0K VERSION.txt
> 8.0K Makefile
> 8.0K sage
> 16K README.txt
> 32K config.status
> 32K configure.ac
> 48K m4
> 72K COPYING.txt
> 80K include
> 116K config
> 208K bin
> 256K configure
> 1.2M git-trac-command
> 1.5M share
> 4.8M lib
> 8.1M build
> 34M logs
> 885M upstream
> 2.7G src
> 6.3G local
> 9.9G total
>
> What is really just local *cache*, so I can safely delete it? Is
> there a make target that deletes
> local cache files? For example:
>
> - that 885M upstream directory looks tempting to nuke.
> - in src there is a directory build, which is 1.6GB (why is there
> both build and src/build?)
>
>
>
> --
> William (http://wstein.org)
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
