First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

asked 5 years ago

done_with_fish gravatar image

How can I change the location of DOT_SAGE?

The documentation for environment variables used by sage it is mentioned that the default location of DOT_SAGE is $HOME/.sage/ but that this location can be changed.

How can this location be changed?