From ec0b08e4d02a088ad4526f7c4a7909cc54907d54 Mon Sep 17 00:00:00 2001 From: Diana <5275194+DianaNites@users.noreply.github.com> Date: Sun, 2 Apr 2023 09:15:15 -0700 Subject: [PATCH] user configuration --- scripts/on_env_start.bat | 4 ++++ scripts/on_env_start.sh | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/scripts/on_env_start.bat b/scripts/on_env_start.bat index 57dc5da0..9b461b78 100644 --- a/scripts/on_env_start.bat +++ b/scripts/on_env_start.bat @@ -8,6 +8,10 @@ if exist "scripts\config.bat" ( @call scripts\config.bat ) +if exist "scripts\user_config.bat" ( + @call scripts\user_config.bat +) + if "%update_branch%"=="" ( set update_branch=main ) diff --git a/scripts/on_env_start.sh b/scripts/on_env_start.sh index 7e180f02..39d3939e 100755 --- a/scripts/on_env_start.sh +++ b/scripts/on_env_start.sh @@ -8,6 +8,11 @@ if [ -f "scripts/config.sh" ]; then source scripts/config.sh fi +if [ -f "scripts/user_config.sh" ]; then + source scripts/user_config.sh +fi + + if [ "$update_branch" == "" ]; then export update_branch="main" fi