Blame SOURCES/0116-Enable-pager-by-default.-985860.patch

23d2ea
From 78e75e5f9d48fff92a2bc2f606520bef8fa68e4e Mon Sep 17 00:00:00 2001
f96e0b
From: Peter Jones <pjones@redhat.com>
f96e0b
Date: Mon, 28 Oct 2013 10:09:27 -0400
27a4da
Subject: [PATCH 116/260] Enable pager by default. (#985860)
f96e0b
f96e0b
Signed-off-by: Peter Jones <pjones@redhat.com>
f96e0b
---
f96e0b
 util/grub.d/00_header.in | 2 ++
f96e0b
 1 file changed, 2 insertions(+)
f96e0b
f96e0b
diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
27a4da
index ce2ec819d..fefa7ddfc 100644
f96e0b
--- a/util/grub.d/00_header.in
f96e0b
+++ b/util/grub.d/00_header.in
f96e0b
@@ -43,6 +43,8 @@ if [ "x${GRUB_DEFAULT_BUTTON}" = "xsaved" ] ; then GRUB_DEFAULT_BUTTON='${saved_
f96e0b
 if [ "x${GRUB_TIMEOUT_BUTTON}" = "x" ] ; then GRUB_TIMEOUT_BUTTON="$GRUB_TIMEOUT" ; fi
f96e0b
 
f96e0b
 cat << EOF
f96e0b
+set pager=1
f96e0b
+
f96e0b
 if [ -s \$prefix/grubenv ]; then
f96e0b
   load_env
f96e0b
 fi
f96e0b
-- 
27a4da
2.13.0
f96e0b