On 11 Aug., 13:09, leif <not.rea...@online.de> wrote: > On 11 Aug., 12:50, John Cremona <john.crem...@gmail.com> wrote: > > > On Thu, Aug 11, 2011 at 11:41 AM, John Cremona <john.crem...@gmail.com> > > wrote: > > > After building Sage the amount of filespace used is (as we all know) > > > rather large. I was just checking a 4.7 install, which is not used > > > for any development pusposes, and is on a machine which I use but do > > > not own, and where I was just told that the filespace was getting > > > short, and found that the SAGE_ROOT was taking up 15GB of which 5.5GB > > > is in devel and 8.4GB in local. > > > PS: A sage-4.6.2 install was only 3.8G. Now I know that 4.7 was alot > > better than 4.6.2, but FOUR times the size? > > On the same machine (and filesystem)? > > The size of devel/sage (which is just a symbolic link) indicates that > the block size of the filesystem where the "huge" Sage installation > lives is quite large, such that even very small files take up a lot of > disk space. > > There are also differences between different architectures (i.e. 32- > bit vs. 64-bit, and CISC vs. RISC, e.g. SPARC), but I don't think that > matters here. > > -leif > > P.S.: > > You can safely delete devel/old/ etc. and $SAGE_ROOT/spkg/build/ in > case it exists.
P.P.S.: Do a tar cf - $SAGE_ROOT | wc -c and compare that (the number of *bytes* a tarball would take) to what you get by du -sh $SAGE_ROOT # or du -sch $SAGE_ROOT/* If the former is equally large, there are certainly things that could be deleted. -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