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 [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
