* util/grub.d/00_header.in: Boot immediately after
GRUB_HIDDEN_TIMEOUT. Documentation said: "If no key is pressed
during that time, boot immediately."
=== modified file 'ChangeLog'
--- ChangeLog 2012-04-29 16:43:22 +0000
+++ ChangeLog 2012-04-29 19:12:19 +0000
@@ -1,3 +1,9 @@
+2012-04-29 Mads Kiilerich <m...@kiilerich.com>
+
+ * util/grub.d/00_header.in: Boot immediately after
+ GRUB_HIDDEN_TIMEOUT. Documentation said: "If no key is pressed
+ during that time, boot immediately."
+
2012-04-29 Bean <bean12...@gmail.com>
* grub-core/net/drivers/efi/efinet.c (get_card_packet): Fix buffer
=== modified file 'util/grub.d/00_header.in'
--- util/grub.d/00_header.in 2012-03-04 13:55:13 +0000
+++ util/grub.d/00_header.in 2012-04-29 17:48:30 +0000
@@ -280,7 +280,7 @@
fi
cat << EOF
if sleep$verbose --interruptible ${1} ; then
- set timeout=${2}
+ set timeout=0
fi
EOF
else
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
