severity 608283 normal tag 608283 confirmed thanks Am Mittwoch, den 29.12.2010, 18:05 +0100 schrieb Udo Richter: > With the changes of bug#605705, the background can be overwritten using > GRUB_BACKGROUND in /etc/default/grub, but changing the colors of the > menu is not possible. Depending on the background, the default colors > black/black and magenta/black might not be a good choice. My suggestion > is to also allow to override color_normal and color_highlight from > /etc/default/grub. I think this is a valid request.
> The attached patch does this in a way that allows overriding in all use
> cases, even with a default or theme background picture. It introduces
> the GRUB_BACKGROUND_COLOR_NORMAL and GRUB_BACKGROUND_COLOR_HIGHLIGHT
> overrides that can be set in /etc/default/grub.
>
> An alternative would be to use the override only if GRUB_BACKGROUND is
> set. In that case, the parameters should be added to the
> set_background_image "${GRUB_BACKGROUND}" line at the end.
Yes, this seem to be the possibilities we have.
Colin, which alternative do you prefer (I'd take the first one) and how
shall the configuration variables be called? Maybe GRUB already has some
variables for this purpose?
Best regards
Alexander Kurtz
signature.asc
Description: This is a digitally signed message part
