pull/20/head
JensDiemer 2020-11-13 09:08:38 +01:00
rodzic e8e4d930d6
commit 2dd0ee95e6
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -18,7 +18,7 @@ print('Plugin path:', plugins_path)
assert plugins_path.is_dir()
plugins = set(item.name for item in plugins_path.iterdir() if item.is_dir())
plugins = {item.name for item in plugins_path.iterdir() if item.is_dir()}
in_plugins = False
with build_config_path.open('r') as f:
@ -33,7 +33,7 @@ with build_config_path.open('r') as f:
if in_plugins:
if line == '},':
break
plugin_name = line.split(':',1)[0].strip(" '")
plugin_name = line.split(':', 1)[0].strip(" '")
plugins.add(plugin_name)
print("'removePlugins': (")