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 [cjwat...@debian.org] -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
