Revision history [back]

It should work to set the environment variable DOT_SAGE to something that is not hidden. The default value is $HOME/.sage. A more drastic solution would be to rewrite the definition of SAGE_TMP in src/sage/misc/misc.py to use some other directory.