On 12 Aug., 12:02, Harald Schilly <harald.schi...@gmail.com> wrote: > 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.
Which might change over time... ;-) > 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. I'm more interested in why and what crap there apparently accumulates, rather than compressing it. "Low-level" compression of filesystems usually comes with a speed penalty (in rare cases it might be even faster though), and the data is harder to recover (if at all) in case of corruption (hardware or software). -leif -- 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