Spaces:
Running
Running
jhj0517
commited on
Commit
·
019b7d0
1
Parent(s):
8becfaa
refactor batch file
Browse files- user-start-webui.bat +6 -4
user-start-webui.bat
CHANGED
|
@@ -1,15 +1,17 @@
|
|
|
|
|
| 1 |
:: This batch file is for launching with command line args
|
| 2 |
:: See the wiki for a guide to command line arguments: https://github.com/jhj0517/Whisper-WebUI/wiki/Command-Line-Arguments
|
| 3 |
-
|
| 4 |
-
|
| 5 |
-
:: Set values
|
| 6 |
set SERVER_NAME=
|
| 7 |
set SERVER_PORT=
|
| 8 |
set USERNAME=
|
| 9 |
set PASSWORD=
|
| 10 |
set SHARE=
|
| 11 |
set THEME=
|
| 12 |
-
set DISABLE_FASTER_WHISPER=
|
|
|
|
|
|
|
|
|
|
| 13 |
|
| 14 |
:: Set args accordingly
|
| 15 |
if not "%SERVER_NAME%"=="" (
|
|
|
|
| 1 |
+
@echo off
|
| 2 |
:: This batch file is for launching with command line args
|
| 3 |
:: See the wiki for a guide to command line arguments: https://github.com/jhj0517/Whisper-WebUI/wiki/Command-Line-Arguments
|
| 4 |
+
:: Set the values here to whatever you want. See the wiki above for how to set this.
|
|
|
|
|
|
|
| 5 |
set SERVER_NAME=
|
| 6 |
set SERVER_PORT=
|
| 7 |
set USERNAME=
|
| 8 |
set PASSWORD=
|
| 9 |
set SHARE=
|
| 10 |
set THEME=
|
| 11 |
+
set DISABLE_FASTER_WHISPER=true
|
| 12 |
+
|
| 13 |
+
|
| 14 |
+
|
| 15 |
|
| 16 |
:: Set args accordingly
|
| 17 |
if not "%SERVER_NAME%"=="" (
|