From 10d7d356d71ac1831103eea5112d6e6bfc1ad072 Mon Sep 17 00:00:00 2001
From: Won-Kyu Park <wkpark@gmail.com>
Date: Sat, 14 Oct 2023 21:58:28 +0900
Subject: [PATCH] support webui.settings.bat

---
 webui.bat             | 20 ++++++++++++++++++++
 webui.settings.bat.in |  7 +++++++
 2 files changed, 27 insertions(+)
 create mode 100644 webui.settings.bat.in

diff --git a/webui.bat b/webui.bat
index a630ea4d9ff..6fc041b716b 100644
--- a/webui.bat
+++ b/webui.bat
@@ -1,5 +1,25 @@
 @echo off
 
+if not exist webui.settings.bat (
+    if exist webui.settings.bat.in (
+        copy webui.settings.bat.in webui.settings.bat
+    )
+)
+
+if exist webui.settings.bat (
+    if defined PTHTON (set _PYTHON=%PYTHON%)
+    if defined GIT (set _GIT=%GIT%)
+    if defined VENV_DIR (set _VENV_DIR=%VENV_DIR%)
+    if defined COMMANDLINE_ARGS (set _COMMANDLINE_ARGS=%COMMANDLINE_ARGS%)
+
+    call webui.settings.bat
+
+    if not defined PYTHON (if defined _PYTHON (set PYTHON=%_PYTHON%))
+    if not defined GIT (if defined _GIT (set GIT=%_GIT%))
+    if not defined VENV_DIR (if defined _VENV_DIR (set VENV_DIR=%_VENV_DIR%))
+    if not defined COMMANDLINE_ARGS (if defined _COMMANDLINE_ARGS (set COMMANDLINE_ARGS=%_COMMANDLINE_ARGS%))
+)
+
 if not defined PYTHON (set PYTHON=python)
 if defined GIT (set "GIT_PYTHON_GIT_EXECUTABLE=%GIT%")
 if not defined VENV_DIR (set "VENV_DIR=%~dp0%venv")
diff --git a/webui.settings.bat.in b/webui.settings.bat.in
new file mode 100644
index 00000000000..40bb2f564e4
--- /dev/null
+++ b/webui.settings.bat.in
@@ -0,0 +1,7 @@
+@REM
+@REM change the variables below to your need.
+@REM any variables re-defined here will override settings in the webui-user.bat
+set PYTHON=
+set GIT=
+set VENV_DIR=
+set COMMANDLINE_ARGS=