Commit c57db6dd authored by Philipp Hörist's avatar Philipp Hörist

Plugins: Don't fail if plugins dir does not exist

parent 9b71233b
Pipeline #5834 passed with stages
in 4 minutes and 20 seconds
......@@ -127,5 +127,7 @@ def get_builder(file_name: str, widgets: List[str] = None) -> Builder:
def is_shipped_plugin(path):
base = Path(configpaths.get('PLUGINS_BASE'))
if not base.exists():
return False
plugin_parent = Path(path).parent
return base.samefile(plugin_parent)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment