From f153a1bdc4f3ae9af78bee498b5f4a063cc828f4 Mon Sep 17 00:00:00 2001
From: Peter Jones <pjones@redhat.com>
Date: Mon, 28 Oct 2013 10:09:27 -0400
Subject: [PATCH 202/272] Enable pager by default. (#985860)

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
index 9320c1f70..1eec16dad 100644
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -58,6 +58,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 [ -f \${config_directory}/grubenv ]; then
   load_env -f \${config_directory}/grubenv
 elif [ -s \$prefix/grubenv ]; then
-- 
2.41.0