lbmk/config/grub
Leah Rowe 2e60e11798 grub.cfg: disable the pager
The pager causes trouble in some cases, where the user has
to press enter at boot time depending on the configuration.

Interactive use is one thing, but we should leave this
disabled for smoother experience. If the user *wishes* to
use the shell, they can always just enable the pager
themselves by doing:

set pager=1

Signed-off-by: Leah Rowe <leah@libreboot.org>
2023-10-02 22:03:10 +01:00
..
background merge config/ and resources/ 2023-09-04 02:47:25 +01:00
config grub.cfg: disable the pager 2023-10-02 22:03:10 +01:00
keymap merge config/ and resources/ 2023-09-04 02:47:25 +01:00
patches split up grub patches into subdirectories 2023-09-25 12:03:07 +01:00
modules.list grub: re-add module: play 2023-09-06 09:39:44 +01:00