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? The second one takes 195MB on my machine, with almost 20,000 small files. What are they for? 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/65f8aead-c7c9-4b6b-8f6c-dab511870173n%40googlegroups.com.
