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 <[email protected]> http://www.kirya.net GPG key: 4096R/290D20C5 092F 4CB5 5F19 E006 1CFD B489 D32B 8D66 290D 20C5 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
