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