Bug#545518: grub2: Please add all optional, user-defined variables in /etc/default/grub

[Julien Valroff]

Hi Colin,

Le mercredi 02 juin 2010 à 23:49 +0100, Colin Watson a écrit :
> On Mon, Sep 07, 2009 at 07:36:03PM +0200, Julien Valroff wrote:
> > Would it be possible to add all optional, user-defined variables in /etc/default/grub,
> > along with a short explanation of what they do?
> 
> Instead of doing this, which I think would annoy people with a big
> complicated configuration file merge, would you be happy with an
> extensive new section in 'info grub' documenting all the available
> variables in detail?  I added this upstream today, and it seems as
> though it might close this bug.

That seems fine for me, you can safely close this bug.

Thanks a lot for your work.

Cheers,
Julien

-- 
Julien Valroff <julien at kirya.net>
http://www.kirya.net
GPG key: 4096R/290D20C5 
092F 4CB5 5F19 E006 1CFD  B489 D32B 8D66 290D 20C5