# configure PATH using sage script location export PATH="$(dirname $SELF):$PATH" # if SAGE_VENV is set, the script sage-env will prepend # "$SAGE_VENV/bin" to the PATH, which is undesired unset SAGE_VENV