On Mon, 22 Aug 2022, 23:47 John H Palmieri, <jhpalmier...@gmail.com> wrote:
> What is the purpose of > > - $HOME/.sage/gap > - $HOME/.sage/pexpect_logs > - $HOME/.sage/cache > > ? > > The first one currently takes 1.5GB on my machine, and it has a README.txt > file that says "It is OK to delete all these cache files. They will be > recreated as needed." So why do we keep them at all? > these are gap and libgap workspaces. Their presence makes loading gap and libgap much faster. > The second one takes 195MB on my machine, with almost 20,000 small files. > What are they for? > these are, well, pexpect logs. Good for debugging I guess. > The third one contains lots of very small files. > > For all of these: why do we keep the files by default? There is presumably > some benefit to keeping them, but also some cost. How do the cost and the > benefit compare? > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/65f8aead-c7c9-4b6b-8f6c-dab511870173n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/65f8aead-c7c9-4b6b-8f6c-dab511870173n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0X_SWXNG4nvpDC2nY55J_3%2BByKX9Oy0rvTqfmmWOC-9Q%40mail.gmail.com.
