From 9208e35f207701e3f274cf05d64a5934f409418a Mon Sep 17 00:00:00 2001 From: mboelen Date: Mon, 2 May 2016 13:57:16 +0200 Subject: [PATCH] Added alias --no-plugins to skip plugins --- include/parameters | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/parameters b/include/parameters index 0fa63c7f..85269edf 100644 --- a/include/parameters +++ b/include/parameters @@ -259,7 +259,8 @@ #RED="" ;; - --skip-plugins) + # Skip execution of plugins + --skip-plugins | --no-plugins) RUN_PLUGINS=0 ;;