From 2e60e117982426b3a88d6a678482602625396e69 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Mon, 2 Oct 2023 22:03:10 +0100 Subject: 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 --- config/grub/config/grub.cfg | 1 - 1 file changed, 1 deletion(-) diff --git a/config/grub/config/grub.cfg b/config/grub/config/grub.cfg index 64fe9b3d..37cda5d9 100644 --- a/config/grub/config/grub.cfg +++ b/config/grub/config/grub.cfg @@ -31,7 +31,6 @@ if [ -f (cbfsdisk)/timeout.cfg ]; then else set timeout=5 fi -set pager=1 set grub_scan_disk="both" if [ -f (cbfsdisk)/scan.cfg ]; then source (cbfsdisk)/scan.cfg -- cgit v1.2.1