Skip extension installers if all disabled

2023-03-27 17:23:20 -04:00 · 2023-03-27 17:23:20 -04:00 · 56f62d3851
parent fc8e1008ea
commit 56f62d3851
1 changed files with 4 additions and 0 deletions
--- a/launch.py
+++ b/launch.py
@ -206,6 +206,10 @@ def list_extensions(settings_file):
        print(e, file=sys.stderr)

    disabled_extensions = set(settings.get('disabled_extensions', []))
+    disable_all_extensions = settings.get('disable_all_extensions', 'none')
+
+    if disable_all_extensions != 'none':
+        return []

    return [x for x in os.listdir(extensions_dir) if x not in disabled_extensions]