Commit 650d6119 authored by Alberto Fanjul's avatar Alberto Fanjul Committed by Christian Hergert

flatpak: Add plugin extension point

parent 0c9c77ea
Pipeline #190858 canceled with stage
in 3 minutes and 37 seconds
......@@ -8,6 +8,17 @@
"nightly"
],
"desktop-file-name-prefix" : "(Nightly) ",
"add-extensions": {
"org.gnome.Builder.Plugin": {
"version": "master",
"directory": "extensions",
"add-ld-path": "lib",
"merge-dirs": "lib/gnome-builder/plugins",
"subdirectories": true,
"no-autodownload": true,
"autodelete": true
}
},
"finish-args" : [
"--require-version=1.0.0",
"--allow=devel",
......
......@@ -373,13 +373,24 @@ _ide_application_load_plugins (IdeApplication *self)
if (ide_is_flatpak ())
{
g_autofree gchar *plugins_dir = g_build_filename (g_get_home_dir (),
g_autofree gchar *extensions_plugins_dir = NULL;
g_autofree gchar *plugins_dir = NULL;
plugins_dir = g_build_filename (g_get_home_dir (),
".local",
"share",
"gnome-builder",
"plugins",
NULL);
peas_engine_prepend_search_path (engine, plugins_dir, plugins_dir);
extensions_plugins_dir = g_build_filename ("/app",
"extensions",
"lib",
"gnome-builder",
"plugins",
NULL);
peas_engine_prepend_search_path (engine, extensions_plugins_dir, extensions_plugins_dir);
}
user_plugins_dir = g_build_filename (g_get_user_data_dir (),
......
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