From 204ee270c4d060affcbebce381dde991d532d699 Mon Sep 17 00:00:00 2001
From: Mads Kiilerich <mads@kiilerich.com>
Date: Thu, 27 Oct 2011 17:09:07 +0200
Subject: [PATCH] set GRUB_SAVEDEFAULT=true so saved defaults works
 (rbhz#732058)

---
 grub.default | 1 +
 1 file changed, 1 insertion(+)

diff --git a/grub.default b/grub.default
index 81ff487..9ce1bb0 100644
--- a/grub.default
+++ b/grub.default
@@ -1,6 +1,7 @@
 GRUB_TIMEOUT=5
 GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
 GRUB_DEFAULT=saved
+GRUB_SAVEDEFAULT=true
 # GRUB_TERMINAL="serial console"
 # GRUB_SERIAL_COMMAND="serial --unit=0 --speed=9600"
 GRUB_CMDLINE_LINUX="quiet rhgb"