diff options
author | Marvin W <git@larma.de> | 2017-04-03 14:10:17 +0200 |
---|---|---|
committer | Marvin W <git@larma.de> | 2017-04-03 15:05:39 +0200 |
commit | 8248cfcbb25dc14c81bd9673c8b3642ce98ea495 (patch) | |
tree | 21ec03ad902b001c3e84c428a31e10f62ad18614 /main/src | |
parent | 22adbd38dca0868f0e10754314a3859bba0a7d87 (diff) | |
download | dino-8248cfcbb25dc14c81bd9673c8b3642ce98ea495.tar.gz dino-8248cfcbb25dc14c81bd9673c8b3642ce98ea495.zip |
Make FHS compliant, split RPMs, fix compilation on older GCCs
Diffstat (limited to 'main/src')
-rw-r--r-- | main/src/main.vala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/src/main.vala b/main/src/main.vala index 96744e12..14029e47 100644 --- a/main/src/main.vala +++ b/main/src/main.vala @@ -16,10 +16,10 @@ void main(string[] args) { 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.add_main_option("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()) { + Variant v = options.lookup_value("plugin-paths", VariantType.BOOLEAN); + if (v != null && v.get_boolean()) { loader.print_search_paths(); return 0; } |