Also allow an environment variable for the user prefs filename (full …

…path)
bmad-sim · Sep 20, 2023 · 050d40f · 050d40f
1 parent 32dc1e7
commit 050d40f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/util/dist_source_me b/util/dist_source_me
@@ -278,6 +278,7 @@ func_set_bmad_env () {
  echo -e "Sourcing User build preferences from util/dist_prefs..." \
  >> ${DIST_SETUP_LOG}
  source ${DIST_BASE_DIR}/util/dist_prefs
+ [[ -n "${BMAD_USER_PREFS}" ]] && [[ -r "${BMAD_USER_PREFS}" ]] && . ${BMAD_USER_PREFS}
  [[ -r ${DIST_BASE_DIR}/util/user_prefs ]] && . ${DIST_BASE_DIR}/util/user_prefs
 
  echo "Sourcing common build variable set..." \