I tested the fix in the original post. It did not work, until I also
modified /etc/grub.d/05_debian_theme as follows:
#if [ -n "${GRUB_BACKGROUND+x}" ]; then
# set_background_image "${GRUB_BACKGROUND}" || set_default_theme
# exit 0
#fi
if [ -n "${GRUB_BACKGROUND+x}" ]; then
set_background_image "${GRUB_BACKGROUND}" "${GRUB_COLOR_NORMAL}"
"${GRUB_COLOR_HIGHLIGHT}" || set_default_theme
exit 0
fi
I'm pretty certain this is NOT the best fix, but it works for me for the
time being. Neither fix has any effect at all for me by itself, but with
both fixes in place the colors defined in /etc/default/grub apply as
expected.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1027223
Title:
update-grub ignores GRUB_COLOR_NORMAL and GRUB_COLOR_HIGHLIGHT
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1027223/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
