src/bin/sage: Find SAGE_ROOT, SAGE_LOCAL from sage-config

sagemath · Nov 13, 2020 · 2bce7b8 · 2bce7b8
1 parent 995af9f
commit 2bce7b8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/bin/sage b/src/bin/sage
@@ -196,6 +196,11 @@ fi
 # append -env to that). We redirect stdout to stderr, which is safer
 # for scripts.
 #####################################################################
+if [ -x "$0-config" ]; then
+    # optional sage-config console script, installed by sage_conf
+    export SAGE_ROOT=$("$0-config" SAGE_ROOT)
+    export SAGE_LOCAL=$("$0-config" SAGE_LOCAL)
+fi
 if [ -f "$0-env-config" ]; then
     # As of Trac #22731, sage-env-config is optional.
     . "$0-env-config" >&2