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