From 35a1524d07fce30954c28aeede2ce7d21cd45ed3 Mon Sep 17 00:00:00 2001 From: Michael Boelen Date: Thu, 11 Jan 2018 10:19:29 +0100 Subject: [PATCH] Added alias for skipping plugins --- include/parameters | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/parameters b/include/parameters index eb7e5ce5..a7f3f4af 100644 --- 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 ;;