On Monday, May 16, 2022 at 8:07:48 PM UTC-7 hohoa...@gmail.com wrote:
> 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?
>
see src/bin/sage-env around line 111
--
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/68b66f75-0fec-4e9b-bca3-e2ee04bde2e8n%40googlegroups.com.
