summaryrefslogtreecommitdiff
path: root/config/grub/keymap
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2023-10-02 22:03:10 +0100
committerLeah Rowe <leah@libreboot.org>2023-10-02 22:03:10 +0100
commit2e60e117982426b3a88d6a678482602625396e69 (patch)
treed9e70e9ac563b637cb9664facb33a2ef89c08a75 /config/grub/keymap
parentd9719cae49791258fe33e7d772aea180c3f2164c (diff)
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>
Diffstat (limited to 'config/grub/keymap')
0 files changed, 0 insertions, 0 deletions