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=