Hi, Is it this snippet, would you please elaborate?
<snippet from src/bin/sage-env around line 111> # Make sure that SAGE_ROOT is either an absolute physical directory name # or empty. if [ -n "$SAGE_ROOT" ]; then export SAGE_ROOT=$(cd "$SAGE_ROOT" 2>/dev/null && pwd -P) fi </snippet from src/bin/sage-env around line 111> BTW, it is rather confusing to see in '$SAGE_LOCAL/bin/sage': if [ -f "${SELF}-env-config" ]; then # As of Trac #22731, sage-env-config is optional. . "${SELF}-env-config" >&2 fi again export SAGE_ROOT and SAGE_LOCAL (same as in the original question, about 10 lines below) Many references to $SAGE_ROOT in '$SAGE_LOCAL/bin/sage'. Is it a prerequisite that $SAGE_ROOT be part of the installation and it must stay as long as $SAGE_LOCAL is around? Or these parts of '$SAGE_LOCAL/bin/sage'. should be factored out? Thank you for your help. Regards, phiho On Mon, May 16, 2022 at 11:14 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > 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 > <https://groups.google.com/d/msgid/sage-devel/68b66f75-0fec-4e9b-bca3-e2ee04bde2e8n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CALZQg1ZAVyzCJe8wtBmh02W9Z29XojDP0dH2fNvHqhU1sj1r8g%40mail.gmail.com.