Added alias --no-plugins to skip plugins

2025-04-08 17:15:25 +02:00 · 2016-05-02 13:57:16 +02:00 · 2016-05-02 13:57:16 +02:00 · 9208e35f20
commit 9208e35f20
parent a765163a25
1 changed files with 2 additions and 1 deletions
--- a/include/parameters
+++ b/include/parameters
@ -259,7 +259,8 @@
              #RED=""
          ;;

-          --skip-plugins)
+          # Skip execution of plugins
+          --skip-plugins | --no-plugins)
              RUN_PLUGINS=0
          ;;