diff options
author | mboelen <michael@cisofy.com> | 2016-05-02 14:57:16 +0300 |
---|---|---|
committer | mboelen <michael@cisofy.com> | 2016-05-02 14:57:16 +0300 |
commit | 9208e35f207701e3f274cf05d64a5934f409418a (patch) | |
tree | e8bdf38e66c531ee2f8f7c7399d28b7da075f857 /include/parameters | |
parent | a765163a256c55e84bcca6cc592650caf38aee40 (diff) |
Added alias --no-plugins to skip plugins
Diffstat (limited to 'include/parameters')
-rw-r--r-- | include/parameters | 3 |
1 files changed, 2 insertions, 1 deletions
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 ;; |