diff --git a/include/profiles b/include/profiles index 75fe6f0b..1c46df9d 100644 --- a/include/profiles +++ b/include/profiles @@ -156,6 +156,12 @@ PROFILE_NAME="${VALUE}" ;; + # Quick (no waiting for keypresses) + quick) + QUICKMODE=`echo ${VALUE} | egrep "^(0|1)$"` || QUICKMODE=0 + Debug "Quickmode set to ${QUICKMODE}" + ;; + # Inline tips about tool show_tool_tips) SHOW_TOOL_TIPS="${VALUE}"