diff options
author | Michael Boelen <michael.boelen@cisofy.com> | 2019-07-03 16:39:26 +0300 |
---|---|---|
committer | Michael Boelen <michael.boelen@cisofy.com> | 2019-07-03 16:39:26 +0300 |
commit | ade3117307930cda0e9ab2460a08c0cf9b653f35 (patch) | |
tree | b92ffac3bf11b0d5240eb432449178bd90b23733 /include/profiles | |
parent | 1f0c31fcad5f747a9402683c09e6352d72712ee1 (diff) |
New option to disable plugins via profile
Diffstat (limited to 'include/profiles')
-rw-r--r-- | include/profiles | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/profiles b/include/profiles index eba67427..2840ed3b 100644 --- a/include/profiles +++ b/include/profiles @@ -239,6 +239,11 @@ LogText "Plugin '${VALUE}' enabled according profile (${PROFILE})" ;; + disable-plugin) + LogText "Plugin '${VALUE}' disabled according profile (${PROFILE})" + DISABLED_PLUGINS="${DISABLED_PLUGINS} ${VALUE}" + ;; + # Plugin directory plugindir | plugin-dir) if IsEmpty "${PLUGINDIR}"; then |