diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-10-02 22:03:10 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-10-02 22:03:10 +0100 |
| commit | 2e60e117982426b3a88d6a678482602625396e69 (patch) | |
| tree | d9e70e9ac563b637cb9664facb33a2ef89c08a75 | |
| parent | d9719cae49791258fe33e7d772aea180c3f2164c (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>
| -rw-r--r-- | config/grub/config/grub.cfg | 1 |
1 files changed, 0 insertions, 1 deletions
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 |