Merge pull request #1131 from cmdr2/main

Main
This commit is contained in:
cmdr2 2023-04-07 15:04:17 +05:30 committed by GitHub
commit 37082ad430
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
)
if exist "scripts\user_config.bat" (
@call scripts\user_config.bat
)
if "%update_branch%"=="" (
set update_branch=main
)

View File

@ -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