diff options
author | Jabasukuriputo Wang <wfjsw@users.noreply.github.com> | 2023-07-15 09:09:51 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-15 09:09:51 +0000 |
commit | 2d9d53be21d339a0723276517fff067db0181af5 (patch) | |
tree | d609464610c472509969be013c0876c3af0b0f48 | |
parent | c58cf73c806f08eb8b96bccc2af64403d903695f (diff) | |
download | stable-diffusion-webui-gfx803-2d9d53be21d339a0723276517fff067db0181af5.tar.gz stable-diffusion-webui-gfx803-2d9d53be21d339a0723276517fff067db0181af5.tar.bz2 stable-diffusion-webui-gfx803-2d9d53be21d339a0723276517fff067db0181af5.zip |
allow replacing extensions index with environment variable
-rw-r--r-- | modules/ui_extensions.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 3fa3dea2..f3e4fba7 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -1,5 +1,5 @@ import json
-import os.path
+import os
import threading
import time
from datetime import datetime
@@ -564,7 +564,8 @@ def create_ui(): with gr.TabItem("Available", id="available"):
with gr.Row():
refresh_available_extensions_button = gr.Button(value="Load from:", variant="primary")
- available_extensions_index = gr.Text(value="https://raw.githubusercontent.com/AUTOMATIC1111/stable-diffusion-webui-extensions/master/index.json", label="Extension index URL").style(container=False)
+ extensions_index_url = os.environ.get('WEBUI_EXTENSIONS_INDEX', "https://raw.githubusercontent.com/AUTOMATIC1111/stable-diffusion-webui-extensions/master/index.json")
+ available_extensions_index = gr.Text(value=extensions_index_url, label="Extension index URL").style(container=False)
extension_to_install = gr.Text(elem_id="extension_to_install", visible=False)
install_extension_button = gr.Button(elem_id="install_extension_button", visible=False)
|