diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-08-12 12:06:31 +0900 |
|---|---|---|
| committer | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-08-12 12:06:31 +0900 |
| commit | f57bc1a21ba3979061752bd7b66e881bd25cc64f (patch) | |
| tree | 5a0aa8f28866cdb8b18bf8eba97654347a76b846 | |
| parent | ae6b30907db2060962c533de79ab4bd2c6b12297 (diff) | |
disable extensions installer with arg
| -rw-r--r-- | modules/launch_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 2782872e..65eb684f 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -243,7 +243,7 @@ def list_extensions(settings_file): disabled_extensions = set(settings.get('disabled_extensions', []))
disable_all_extensions = settings.get('disable_all_extensions', 'none')
- if disable_all_extensions != 'none':
+ if disable_all_extensions != 'none' or args.disable_extra_extensions or args.disable_all_extensions:
return []
return [x for x in os.listdir(extensions_dir) if x not in disabled_extensions]
|