If somehow the bad symlink didn't get created on one machine (you did 'make distclean', for example), but it did on the other, that would probably explain it.
On Saturday, August 25, 2018 at 6:39:28 AM UTC-7, Sébastien Labbé wrote: > > On one machine, I get this: > > $ du -s -h local/share/doc/sage > 20G /local/share/doc/sage > > on the other, I get this: > > $ du -s -h local/share/doc/sage > 1,9G local/share/doc/sage > > I do not know why the bug affects only one? Thanks for sharing. > > Sébastien > > > On Thursday, August 23, 2018 at 10:13:11 PM UTC+2, John H Palmieri wrote: >> >> I found that my Sage documentation directory was taking up 15GB of hard >> drive space, because of a bug (which I think has been fixed, but I don't >> remember where). The bug was caused by a recursive symlink >> >> local/share/mathjax/mathjax -> local/share/mathjax >> >> When the contents of local/share/mathjax were copied to various _static >> directories in the html documentation, rather than just reproducing the >> symlink, it created many layers of subdirectories; for example, >> ca/intro/_static/mathjax/mathjax/mathjax/... Basically mathjax all the way >> down. I don't know if this happened all at once, or once each time I built >> the documentation. >> >> To see if you have this problem, see if you have the symlink. You might >> also find out how much disk space local/share/doc/sage takes up (for >> example, "du -s -h /path/to/SAGE_ROOT/local/share/doc/sage"). On my >> computer, it is 1.9GB. If you are using up a lot more space than that, you >> might have hit this bug. >> >> To fix: remove the symlink SAGE_ROOT/local/share/mathjax/mathjax. Then >> run "make doc-clean" to remove the old documentation, and then run "make" >> to rebuild the documentation. >> >> Question: >> >> - has the bug been fixed, or is that symlink still being created? >> >> -- >> John >> >> -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
