diff options
Diffstat (limited to 'packages/altboot/files')
| -rw-r--r-- | packages/altboot/files/init.altboot | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/packages/altboot/files/init.altboot b/packages/altboot/files/init.altboot index dc3900dcca..ed95ce1c9c 100644 --- a/packages/altboot/files/init.altboot +++ b/packages/altboot/files/init.altboot @@ -243,9 +243,13 @@ wait_for_input() { # above to launch the altboot menu. - # This filters an "<ENTER>" from the user as "any key" - ( while :; do read x< /dev/tty0 2>&1; done; ) > /dev/null 2>&1 & - sleep 1; kill $! + # Bash throws an ugly error on kill + if ! (readlink /bin/sh | grep -q bash) + then + # This filters an "<ENTER>" from the user as "any key" + ( while :; do read x< /dev/tty0 2>&1; done; ) > /dev/null 2>&1 & + sleep 1; kill $! >/dev/null 2>&1 + fi |