Added alias for skipping plugins

2018-01-11 10:19:29 +01:00 · 2018-01-11 10:19:29 +01:00 · 35a1524d07
parent 1504370e41
commit 35a1524d07
1 changed files with 1 additions and 1 deletions
--- a/include/parameters
+++ b/include/parameters
@ -344,7 +344,7 @@
            ;;

            # Skip execution of plugins
-            --skip-plugins | --no-plugins)
+            --skip-plugins | --no-plugins | --noplugins)
                SKIP_PLUGINS=1
            ;;