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?