disable extensions installer with arg

This commit is contained in:
w-e-w 2023-08-12 12:06:31 +09:00
parent ae6b30907d
commit f57bc1a21b

View File

@ -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]