summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-11-27 16:33:58 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-11-27 16:33:58 +0100
commit3a0a8a710d916e2f7aced386dfab1671d951b153 (patch)
treea6447e06390f75515ca2471dd9b3e8aeb529ba90
parent02d182799edf1fc95907bdb3455bfe55569ecc5b (diff)
parent9b51c10d098acb2c257ad73d243b8bb20a718414 (diff)
downloadjenkins.debian.net-3a0a8a710d916e2f7aced386dfab1671d951b153.tar.xz
Merge branch 'master' of git://git.debian.org/git/qa/jenkins.debian.net
-rw-r--r--bin/g-i-installation.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh
index 96e0ee5a..15cf2be7 100644
--- a/bin/g-i-installation.sh
+++ b/bin/g-i-installation.sh
@@ -458,7 +458,7 @@ presentation_boot() {
let MY_NR=NR-TRIGGER_NR
TOKEN=$(printf "%04d" $MY_NR)
case $TOKEN in
- 0[123456]00) do_and_report key enter
+ [01][123456789]00) do_and_report key enter
;;
*) ;;
esac