From 050d40faa3fcff01ad67190681643c9191d7e286 Mon Sep 17 00:00:00 2001
From: "J. Scott Berg" <jsberg@bnl.gov>
Date: Wed, 20 Sep 2023 16:36:09 -0400
Subject: [PATCH] Also allow an environment variable for the user prefs
 filename (full path)

---
 util/dist_source_me | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/dist_source_me b/util/dist_source_me
index d42b99cc95..0e94cd4290 100644
--- 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..." \