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 1/2] 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 From 17f60d3c7f7cea7721b9ce26c7c558b1c4930532 Mon Sep 17 00:00:00 2001 From: cmdr2 Date: Fri, 7 Apr 2023 09:55:30 +0530 Subject: [PATCH 2/2] Disable ding sound when the UI loads. It'll now only play upon task completion --- ui/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/index.html b/ui/index.html index fed2b3b9..cb3eae81 100644 --- a/ui/index.html +++ b/ui/index.html @@ -520,7 +520,7 @@ async function init() { } }) - playSound() + // playSound() } init()