Dear All,
Please advise the use of SAGE_ROOT when it is exported
from '$SAGE_LOCAL/bin/sage':
# Determine SAGE_ROOT, SAGE_LOCAL, and SAGE_VENV.
unset SAGE_VENV
if [ -x "${SELF}-config" ]; then
# optional sage-config console script, installed by sage_conf
export SAGE_ROOT=$("${SELF}-config" SAGE_ROOT)
export SAGE_LOCAL=$("${SELF}-config" SAGE_LOCAL)
fi
What if $SAGE_ROOT was deleted?
Thank you for your help.
Regards,
phiho
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/ed4f9616-5cb6-4411-9c00-8340547e91e4n%40googlegroups.com.
