Your message dated Fri, 27 May 2016 11:37:17 +0800
with message-id <[email protected]>
and subject line closing as invalid
has caused the Debian Bug report #779815,
regarding grub-pc: hitting keys does NOT display menu with GRUB_HIDDEN_TIMEOUT
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
779815: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=779815
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: grub-pc
Version: 1.99-27+deb7u2
Severity: normal
On my laptop system I set GRUB_HIDDEN_TIMEOUT to a nonzero value and
GRUB_TIMEOUT to 0. According to the documentation, I should still be
able to force the display of GRUB menu by pressing a key while
GRUB_HIDDEN_TIMEOUT is running down. This does not happen; the system
tries to boot the default entry with no menu display no matter how
furiously I press various keys.
This is somewhat similar to bug #768299 but different because
GRUB_HIDDEN_TIMEOUT is nonzero and I am pressing keys while the timeout
is running down, not holding them while powering up.
It may be relevant that the system in question (which is not the one
where I'm filing this report, because it is effectively unbootable
because of this bug) is a laptop, namely a Dell Inspiron XPS. Possibly
GRUB doesn't know how to watch for key presses due to the special
hardware or BIOS.
--- End Message ---
--- Begin Message ---
notfound 685274 grub2/1.99-22.1
notfound 779815 grub2/1.99-27+deb7u2
thanks
closing some bug tickets as unreproducible
--- End Message ---
