Bug#714414: 05_debian_theme: make colours user-configurable

[Christoph Anton Mitterer]

Package: grub-common
Version: 2.00-14
Severity: wishlist


Hi.

It seems that the backgroun is configurable via GRUB_BACKGROUND
in /etc/default/grub.... but the colours are not...in both cases,
when /usr/share/desktop-base/grub_background.sh is used and when not.
Would be nice if that was possible.

Ideally,... I could also selectively overwrite the defaults given by
/usr/share/desktop-base/grub_background.sh
so that I can e.g. keep the wallpaper specified there but change
COLOR_NORMAL and/or COLOR_HIGHLIGHT.


Cheers,
Chris.