From 812a0ea270ea421c1690f3c3e448ffa2dba24cca Mon Sep 17 00:00:00 2001 From: mboelen Date: Tue, 26 Apr 2016 13:51:54 +0200 Subject: [PATCH] Added developer-mode option for profiles --- include/profiles | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/include/profiles b/include/profiles index bd6440b2..956722f4 100644 --- a/include/profiles +++ b/include/profiles @@ -99,6 +99,12 @@ fi ;; + # Development mode (--developer) + developer-mode) + FIND=`echo "${VALUE}" | egrep "^(1|true|yes)"` && DEVELOPER_MODE=1 + Debug "Developer mode set to ${DEVELOPER_MODE}" + ;; + # Show non-zero exit code when errors are found error-on-warnings) if [ "${VALUE}" = "yes" -o "${VALUE}" = "true" -o ${VALUE} = "1" ]; then