FWIW, i just did a du -sch * on a recently built 4.7.1-rc2. The total is just 2.5G and the filesystem is ext3. devel: 1.1G, local: 1G.
I have an additional idea. If you have a recent linux kernel and want to save space via the filesystem, you can try btrfs with its builtin compression. Just add the option "compress=zlib" to it's options in /etc/fstab. H -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
