summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-29 15:56:02 +0100
committerHolger Levsen <holger@layer-acht.org>2014-10-29 15:56:02 +0100
commitb35d3ff03cb529fee205ea72b1f3858630e0cbf0 (patch)
tree6ccf58219e7c6945877bac660933615963e44e3f
parent9aca578d9debd7324f541e87825980d8d9352b35 (diff)
downloadjenkins.debian.net-b35d3ff03cb529fee205ea72b1f3858630e0cbf0.tar.xz
g-i-i: fix ping '-c 3' - I never thought pinging was that hard.
-rw-r--r--bin/g-i-installation.sh28
1 files changed, 17 insertions, 11 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh
index 481942f0..23cc8a0e 100644
--- a/bin/g-i-installation.sh
+++ b/bin/g-i-installation.sh
@@ -684,27 +684,33 @@ post_install_boot() {
;;
0710) do_and_report type '-'
;;
- 0720) do_and_report type 'c 2 '
+ 0720) do_and_report type 'c'
;;
- 0730) do_and_report type '8.8.8.8'
+ 0730) do_and_report key space
;;
- 0740) do_and_report key enter
+ 0740) do_and_report type '2'
;;
- 0750) do_and_report type apt-get # apt-get install w3m
+ 0750) do_and_report key space
;;
- 0760) do_and_report key space
+ 0760) do_and_report type '8.8.8.8'
;;
- 0770) do_and_report type '-y'
+ 0770) do_and_report key enter
+ ;;
+ 0880) do_and_report type apt-get # apt-get install w3m
+ ;;
+ 0810) do_and_report key space
+ ;;
+ 0820) do_and_report type '-y'
;;
- 0780) do_and_report key space
+ 0830) do_and_report key space
;;
- 0790) do_and_report type install
+ 0840) do_and_report type install
;;
- 0800) do_and_report key space
+ 0850) do_and_report key space
;;
- 0810) do_and_report type w3m
+ 0860) do_and_report type w3m
;;
- 0820) do_and_report key enter
+ 0870) do_and_report key enter
;;
0900) do_and_report type w3m # check nagios
;;