Tree - rpms/grub2 - src.fedoraproject.org

Blob History Raw

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