Tree - rpms/grub2 - src.fedoraproject.org

Blob History Raw

		2ae5c1e	`From 0c2e9a7c6f7f781542d3a94a5fc9b0b8ce435cd2 Mon Sep 17 00:00:00 2001`
		f4c76c0	`From: Peter Jones <pjones@redhat.com>`
		f4c76c0	`Date: Mon, 28 Oct 2013 10:09:27 -0400`
		2ae5c1e	`Subject: [PATCH 40/85] 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	`--`
		b9efc54	`2.5.0`
		f4c76c0