Merge pull request #1112 from DianaNites/patch-2

Persistentish user configuration
This commit is contained in:
cmdr2 2023-04-06 15:32:42 +05:30 committed by GitHub
commit 4f899bd83d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 0 deletions

View File

@ -8,6 +8,10 @@ if exist "scripts\config.bat" (
@call scripts\config.bat @call scripts\config.bat
) )
if exist "scripts\user_config.bat" (
@call scripts\user_config.bat
)
if "%update_branch%"=="" ( if "%update_branch%"=="" (
set update_branch=main set update_branch=main
) )

View File

@ -8,6 +8,11 @@ if [ -f "scripts/config.sh" ]; then
source scripts/config.sh source scripts/config.sh
fi fi
if [ -f "scripts/user_config.sh" ]; then
source scripts/user_config.sh
fi
if [ "$update_branch" == "" ]; then if [ "$update_branch" == "" ]; then
export update_branch="main" export update_branch="main"
fi fi