diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 16:33:58 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-11-27 16:33:58 +0100 |
commit | 3a0a8a710d916e2f7aced386dfab1671d951b153 (patch) | |
tree | a6447e06390f75515ca2471dd9b3e8aeb529ba90 /bin | |
parent | 02d182799edf1fc95907bdb3455bfe55569ecc5b (diff) | |
parent | 9b51c10d098acb2c257ad73d243b8bb20a718414 (diff) | |
download | jenkins.debian.net-3a0a8a710d916e2f7aced386dfab1671d951b153.tar.xz |
Merge branch 'master' of git://git.debian.org/git/qa/jenkins.debian.net
Diffstat (limited to 'bin')
-rw-r--r-- | bin/g-i-installation.sh | 2 |
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 |