On Sat, Aug 25, 2018 at 3:39 PM Sébastien Labbé <
sla...@gmail.com> 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.
This bug is already fixed, but if you did a build on the first machine
with a version where the bug did exist (specifically in the sagenb
package) then it will persist until and unless you delete
$SAGE_LOCAL/share/mathjax and reinstall the mathjax package.
Otherwise you'll just never see it in the first place.
> 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+...@googlegroups.com.
> To post to this group, send email to
sage-...@googlegroups.com.
> Visit this group at
https://groups.google.com/group/sage-devel.
> For more options, visit
https://groups.google.com/d/optout.