diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-29 15:56:02 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-29 15:56:02 +0100 |
| commit | b35d3ff03cb529fee205ea72b1f3858630e0cbf0 (patch) | |
| tree | 6ccf58219e7c6945877bac660933615963e44e3f /bin | |
| parent | 9aca578d9debd7324f541e87825980d8d9352b35 (diff) | |
| download | jenkins.debian.net-b35d3ff03cb529fee205ea72b1f3858630e0cbf0.tar.xz | |
g-i-i: fix ping '-c 3' - I never thought pinging was that hard.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/g-i-installation.sh | 28 |
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 ;; |