[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Enable pager by default
From: |
Javier Martinez Canillas |
Subject: |
[PATCH] Enable pager by default |
Date: |
Fri, 18 Oct 2019 14:43:18 +0200 |
From: Peter Jones <address@hidden>
When user enters into the GRUB shell and tries to use help command, lot of
information is scrolled out of screen and the user doesn't have chance to
read it. Also, there isn't any information about 'set pager=1' at the end
of the help output, to tell the user how scrolling could be enabled.
So just enable pager by default which leads to a much better experience.
Signed-off-by: Peter Jones <address@hidden>
Signed-off-by: Javier Martinez Canillas <address@hidden>
---
util/grub.d/00_header.in | 2 ++
1 file changed, 2 insertions(+)
diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index 93a90233ead..858b526c925 100644
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -43,6 +43,8 @@ if [ "x${GRUB_DEFAULT_BUTTON}" = "xsaved" ] ; then
GRUB_DEFAULT_BUTTON='${saved_
if [ "x${GRUB_TIMEOUT_BUTTON}" = "x" ] ; then
GRUB_TIMEOUT_BUTTON="$GRUB_TIMEOUT" ; fi
cat << EOF
+set pager=1
+
if [ -s \$prefix/grubenv ]; then
load_env
fi
--
2.21.0
- [PATCH] Enable pager by default,
Javier Martinez Canillas <=
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/21
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/22
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/23
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/24
- Re: [PATCH] Enable pager by default, Vladimir 'phcoder' Serbinenko, 2019/10/24
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/25
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/30