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?
1 | initial version |
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?