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.
