Spaces:
Running
Running
jhj0517
commited on
Commit
•
8a4f9be
1
Parent(s):
3f104a2
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%"=="" (
|