diff options
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 |