lbmk/config
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
..
blobs update/blobs/*: simplify mrc.bin handling 2023-09-29 16:40:49 +01:00
coreboot coreboot/hp8200sff_4mb: fix bad ifd path in config 2023-09-11 00:43:25 +01:00
dependencies merge config/ and resources/ 2023-09-04 02:47:25 +01:00
git update/repos: concatenate multiple revision files 2023-09-25 00:51:03 +01:00
grub grub.cfg: disable the pager 2023-10-02 22:03:10 +01:00
ifd move ifd/gbe configs into config/ifd/ 2023-09-04 01:38:08 +01:00
seabios merge config/ and resources/ 2023-09-04 02:47:25 +01:00
u-boot merge config/ and resources/ 2023-09-04 02:47:25 +01:00