Added new profile option: quick

2016-04-19 12:03:48 +02:00 · 2016-04-19 12:03:48 +02:00 · 36b7d1bcdd
parent 89efa9fae8
commit 36b7d1bcdd
1 changed files with 6 additions and 0 deletions
--- 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}"