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 [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
