diff options
| author | Colin Watson <cjwatson@ubuntu.com> | 2014-01-13 12:13:28 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2020-03-07 12:21:23 +0000 |
| commit | 2184aa277150cf09db79c9e44b36556899ddc5c4 (patch) | |
| tree | e5787e9a0906a2f5c3cffcc7532496ebe0c6e841 /util/grub-mkconfig.in | |
| parent | 80341ef386df5bfe94a1e242700be34caa155809 (diff) | |
Add configure option to bypass boot menu if possible
If other operating systems are installed, then automatically unhide the
menu. Otherwise, if GRUB_HIDDEN_TIMEOUT is 0, then use keystatus if
available to check whether Shift is pressed. If it is, show the menu,
otherwise boot immediately. If keystatus is not available, then fall
back to a short delay interruptible with Escape.
This may or may not remain Ubuntu-specific, although it's not obviously
wanted upstream. It implements a requirement of
https://wiki.ubuntu.com/DesktopExperienceTeam/KarmicBootExperienceDesignSpec#Bootloader.
If the previous boot failed (defined as failing to get to the end of one
of the normal runlevels), then show the boot menu regardless.
Author: Richard Laager <rlaager@wiktel.com>
Author: Robie Basak <robie.basak@ubuntu.com>
Forwarded: no
Last-Update: 2015-09-04
Patch-Name: quick-boot.patch
Diffstat (limited to 'util/grub-mkconfig.in')
| -rw-r--r-- | util/grub-mkconfig.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in index 8a1bc0441..8752777e0 100644 --- a/util/grub-mkconfig.in +++ b/util/grub-mkconfig.in @@ -243,7 +243,8 @@ export GRUB_DEFAULT \ GRUB_ENABLE_CRYPTODISK \ GRUB_BADRAM \ GRUB_OS_PROBER_SKIP_LIST \ - GRUB_DISABLE_SUBMENU + GRUB_DISABLE_SUBMENU \ + GRUB_RECORDFAIL_TIMEOUT if test "x${grub_cfg}" != "x"; then rm -f "${grub_cfg}.new" |