Revision history [back]

SAGE_TMP looks something like this by default: /tmp/tmpGMP2PR. My /tmp is full but I have plenty of space in a different tmp directory on another disk. How can I set the prefix of SAGE_TMP from /tmp to, say, /raid/scratch?

Thanks.

SAGE_TMP looks something like this by default: /tmp/tmpGMP2PR. My /tmp is full but I have plenty of space in a different tmp directory on another disk. How can I set change the default prefix of in SAGE_TMP from /tmp to, say, /raid/scratch?

Thanks.