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

[Christophe TROESTLER]

On Fri, 13 Aug 2010 02:23:29 +0100, Colin Watson wrote:
> 
> 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.

That's fine with me if a line saying to look for GRUB in the info
manual is added.  (I think it should be in the file however as we need
to remember it on the rare occasions we need it, i.e., when we edit
/etc/default/grub)

Thanks for your quick answer,
ChriS