Re: [PATCH] colored menu

[Robert Millan]

On Mon, Dec 24, 2007 at 08:46:29PM +0100, Yoshinori K. Okuji wrote:
> 
> I still prefer to keep the default as it is. I like that a user (or a 
> distributor) would modify the colors in grub.cfg.

Distributors (/me puts Debian hat on) can easily patch it.

Anyway, which interface to use?  It seems to me that env variables would
be more fitting than the "color" command we had in GRUB Legacy.  I suggest
using two: E.g. "menu_normal_color=fg/bg" and "menu_highlight_color=fg/bg",
with the same *color_list[16] from GRUB Legacy.

> Anyway, this will be a temporary hack, right?

No, not really.  That patch will be necessary when colors can be modified in
grub.cfg, too.  The only difference will be that it'll only act based on user
input.

I plan to implement user input too, just not right now.  In the meantime it'd
be nice to have this feature in CVS.  If you like 0x07 / 0x70 more than
0x13 / 0x1f, we can have that as default so that distributors (/me puts debian
hat) can change it easily?

> I'd love to see a fancier 
> interface built in.

Will we have that anytime soon?

> Mmh, I really need to allocate time to implement one...

Would be very nice to see you back on the playground! :-)

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call, if you are unable to speak?
(as seen on /.)