From 204ee270c4d060affcbebce381dde991d532d699 Mon Sep 17 00:00:00 2001
From: Mads Kiilerich <mads@kiilerich.com>
Date: Nov 07 2011 16:39:28 +0000
Subject: set GRUB_SAVEDEFAULT=true so saved defaults works (rbhz#732058)


---

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"