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

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