2020-07-29 20:47:36 +08:00
|
|
|
From 29aa9344700bc787778391d6176c2b3b220838e6 Mon Sep 17 00:00:00 2001
|
2019-09-30 10:52:04 -04:00
|
|
|
From: Peter Jones <pjones@redhat.com>
|
|
|
|
|
Date: Mon, 28 Oct 2013 10:09:27 -0400
|
2020-07-29 20:47:36 +08:00
|
|
|
Subject: [PATCH 038/220] Enable pager by default. (#985860)
|
2019-09-30 10:52:04 -04:00
|
|
|
|
|
|
|
|
Signed-off-by: Peter Jones <pjones@redhat.com>
|
|
|
|
|
---
|
|
|
|
|
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
|
2020-07-29 20:47:36 +08:00
|
|
|
index 93a9023..858b526 100644
|
2019-09-30 10:52:04 -04:00
|
|
|
--- 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
|
2020-07-29 20:47:36 +08:00
|
|
|
--
|
|
|
|
|
1.8.3.1
|
|
|
|
|
|
