Allow a Galaxy admin to configure environment variables (e.g. $PATH) for their local Galaxy installation without altering the environment for their shell.

2026-08-29 02:26:59 +08:00 · 2015-01-28 11:50:31 -05:00
parent 126c98031f
commit 05cdaadfb9
1 changed files with 12 additions and 0 deletions
@@ -10,6 +10,18 @@ then
    . .venv/bin/activate
 fi

+# If there is a file that defines a shell environment specific to this
+# instance of Galaxy, source the file.
+if [ -z "$GALAXY_LOCAL_ENV_FILE" ];
+then
+    GALAXY_LOCAL_ENV_FILE='./config/local_env.sh'
+fi
+
+if [ -f $GALAXY_LOCAL_ENV_FILE ];
+then
+    . $GALAXY_LOCAL_ENV_FILE
+fi
+
 python ./scripts/check_python.py
 [ $? -ne 0 ] && exit 1