diff options
author | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-09 11:15:37 +0200 |
---|---|---|
committer | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-12 12:35:05 +0200 |
commit | 51dc19b08e4ded13db255a8a355d9f766741692c (patch) | |
tree | b44d5fe2c4af2ce8356fcca88cd1c28cb9c7c056 /bin | |
parent | b1592288eef9304c0f9763fa591c6d8915d461a8 (diff) | |
download | jenkins.debian.net-51dc19b08e4ded13db255a8a355d9f766741692c.tar.xz |
[hurd] Workaround poweroff on diskimage as well.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/g-i-installation.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index b93aa9a7..9937b507 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -429,7 +429,14 @@ post_install_boot() { ;; 0560) do_and_report key enter ;; - 0570) do_and_report type "poweroff" + 0570) case $NAME in + *_hurd*) + do_and_report type "echo 'In tight loop: hit ctl-alt-del to reboot' >/dev/com0" + ;; + *) + do_and_report type "poweroff" + ;; + esac ;; 0580) do_and_report key enter ;; |