aboutsummaryrefslogtreecommitdiff
path: root/main/src
diff options
context:
space:
mode:
Diffstat (limited to 'main/src')
-rw-r--r--main/src/main.vala11
1 files changed, 11 insertions, 0 deletions
diff --git a/main/src/main.vala b/main/src/main.vala
index ba326ad8..96744e12 100644
--- a/main/src/main.vala
+++ b/main/src/main.vala
@@ -15,6 +15,17 @@ void main(string[] args) {
Plugins.Loader loader = new Plugins.Loader(exec_path);
Gtk.init(ref args);
Dino.Ui.Application app = new Dino.Ui.Application();
+
+ app.add_main_option("show-plugin-paths", 0, 0, OptionArg.NONE, "Display plugin search paths and exit", null);
+ app.handle_local_options.connect((options) => {
+ Variant v = options.lookup_value("show-plugin-paths", VariantType.BOOLEAN);
+ if (v != null && v.get_type() == VariantType.BOOLEAN && v.get_boolean()) {
+ loader.print_search_paths();
+ return 0;
+ }
+ return -1;
+ });
+
foreach (string plugin in new string[]{"omemo", "openpgp"}) {
try {
loader.load(plugin, app);