support webui.settings.bat

AUTOMATIC1111 · Oct 14, 2023 · 10d7d35 · 10d7d35
1 parent 4be7b62
commit 10d7d35
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git 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
@@ -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=