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

Mirosław Zalewski miniopl at gmail.com
Sun Jan 2 22:22:39 UTC 2011


W dniu 2 stycznia 2011 17:17 użytkownik Alexander Kurtz
<kurtz.alex at googlemail.com> napisał:
> Yep, that's true. I'm currently thinking how the user could specify that
> he doesn't want a background image at all. Would it be ok, if you had to
> put a line like this into /etc/default/grub:
>
>        GRUB_BACKGROUND=""

I don't think that really matters. There could be just empty variable
in /etc/default/grub, or that variable may contain some special
keyword ("none", "empty” or "blank" comes to mind). I think that you
should choose the one that you find the easiest in implementation.

What is more important, that option should be somehow documented, at
least in grub-pc's README.Debian file.

>> Also, it should be noted that currently there is no way to specify
>> custom colors for GRUB2 without using background image (lines 94-99 in
>> 05_debian_theme).
> That's #608283[1].

I don't think that one was around when I was filing my bug report, but
that's alright. Just wanted to point it out by the way.

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.

Cheers
Mirosław Zalewski





More information about the Pkg-grub-devel mailing list