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