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?