Revamp hidden timeout handling
authorColin Watson <cjwatson@ubuntu.com>
Thu, 28 Nov 2013 02:27:13 +0000 (02:27 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Thu, 28 Nov 2013 02:29:15 +0000 (02:29 +0000)
commit8f236c141916cc149e325fd8ebeab725568bf907
treef611747f4a2a0f866a1a5260316906bb29b0e1fe
parent2d76b4d81e7afc91c4d5d56c4f388e4a1e26b01d
Revamp hidden timeout handling

Add a new timeout_style environment variable and a corresponding
GRUB_TIMEOUT_STYLE configuration key for grub-mkconfig.  This
controls hidden-timeout handling more simply than the previous
arrangements, and pressing any hotkeys associated with menu entries
during the hidden timeout will now boot the corresponding menu entry
immediately.

GRUB_HIDDEN_TIMEOUT=<non-empty> + GRUB_TIMEOUT=<non-zero> now
generates a warning, and if it shows the menu it will do so as if
the second timeout were not present.  Other combinations are
translated into reasonable equivalents.
ChangeLog
docs/grub.texi
grub-core/normal/main.c
grub-core/normal/menu.c
util/grub-mkconfig.in
util/grub.d/00_header.in