Bug#592706: grub-pc: provide GRUB_SAVEDEFAULT in /etc/default/grub

[Colin Watson]

On Thu, Aug 12, 2010 at 10:24:33AM +0200, Christophe Troestler wrote:
> It would be nice if /etc/default/grub mentioned the possibility of
> setting “GRUB_SAVEDEFAULT=true” to have the last entry selected
> remembered.

I'm pretty reluctant to do this because every change to
/etc/default/grub involves more manual configuration file merges for a
lot of people.  There's complete documentation of the available keys in
'info grub' nowadays, and we should direct people towards that rather
than adding more and more examples to /etc/default/grub.

-- 
Colin Watson                                       [cjwatson at debian.org]