Bug#866888: Enable manual override of menu colors

[Osamu Aoki]

Package: grub2-common
Version: 2.02~beta3-5
Severity: wishlist
Tags: patch

Manual setting of the GRUB background image used to be done by setting
${WALLPAPER}" "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT} variables in
/etc/grub.d/05_debian_theme.

But these variable setting lines have been moved to
/usr/share/desktop-base/grub_background.sh which is provided by the
desktop-base package.  It is managed by the alternatives system and the
pointed file is not in /etc and isn't user editable file.  Adding extra
lines to set the GRUB background image in 05_debian_theme isn't an
intuitive solution.

This change caused bugs reported to grub2-splashimages:
 https://bugs.debian.org/613724
 https://bugs.debian.org/635545
 https://bugs.debian.org/673088

Adding alternatives may be a solution for images provided by
grub2-splashimages.  Even then, we still don't have an intuitive way to
manually set them.

We already had a not-so-advertised feature of ${GRUB_BACKGROUND} in
/etc/default/grub.  So I propose to make this feature more visible and
extend it to set menu colors.

I am not quite sure about ucf system related md5sum line.  Please review
this part.

But this should make it easy for people who want to set up a nice custom
back ground.

Also some personal taste issues such as https://bugs.debian.org/855581
may be solved.

Patch is against the git repo.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Enable-manual-override-of-menu-colors.patch
Type: text/x-diff
Size: 2974 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20170702/fb280d9a/attachment.patch>