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