Bug#608283: 05_debian_theme: Allow override of text color

Colin Watson cjwatson at debian.org
Tue Jan 4 16:02:39 UTC 2011


On Tue, Jan 04, 2011 at 04:47:21PM +0100, Alexander Kurtz wrote:
> Am Dienstag, den 04.01.2011, 00:31 +0000 schrieb Colin Watson:
> > The /etc/default/grub namespace is owned by upstream.
> 
> Ok, so a simple simple hack which adds support for
> $GRUB_BACKGROUND_COLOR_* in 05_debian_theme is not an option, right?

I'd rather not have that as a Debian-specific patch, because the same
configuration key names ought to be supported by 00_header too, IMO.

-- 
Colin Watson                                       [cjwatson at debian.org]





More information about the Pkg-grub-devel mailing list