Bug#608263: /etc/grub.d/05_debian_theme: new 05_debian_theme doesn't allow no background image

[Colin Watson]

On Sun, Jan 02, 2011 at 11:22:39PM +0100, Mirosław Zalewski wrote:
> Since you are considering there moving GRUB_BACKGROUND_COLOR_NORMAL
> and GRUB_BACKGROUND_COLOR_HIGHLIGHT into /etc/default/grub, you should
> also consider deleting /usr/share/desktop-base/grub_background.sh
> file. Right now that file contains variables for splash image and
> colors. If these variables were to set in /etc/default/grub (which I
> find much more intuitive), there would be no more need of
> grub_background.sh file.

The reason that this exists as a separate file is that it is owned by a
separate package.  This is deliberate - putting it in /etc/default/grub
would oblige the grub2 maintainers to track desktop-base changes.

-- 
Colin Watson                                       [cjwatson at debian.org]