Consistently ignore GRUB_TIMEOUT if GRUB_HIDDEN_TIMEOUT is set

Pointed out by Vladimir Serbinenko.

diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index 6e8eb84..84d0499 100644 (file)
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -321,7 +321,7 @@ if [ x\$feature_timeout_style = xy ] ; then
   set timeout_style=$style
   set timeout=${1}
 elif sleep$verbose --interruptible ${1} ; then
-  set timeout=${2}
+  set timeout=0
 fi
 EOF
     else