I think I managed to find a satisfactory fix. Please can this get
applied so I can stop doing this manually?
First, in /etc/grub.d/05_debian_theme, there are several lines that call
"set_background_image" with various values for the wallpaper. But only
one of those lines sets any colors, i.e.:
# Next try to use the background image and colors specified by desktop-base.
if set_background_image "${WALLPAPER}" "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT}";
then
exit 0
fi
I simply added the same "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT}" to every
other function call to set_background_image. Why shouldn't the colors be
passed for every method of setting an image?
Secondly, I updated /usr/sbin/grub-mkconfig to actually set those
variables, from the variables used by kde-grub2-config and other
applications, by adding these two lines:
export COLOR_NORMAL=$GRUB_COLOR_NORMAL
export COLOR_HIGHLIGHT=$GRUB_COLOR_HIGHLIGHT
Now, after "sudo update-grub", my color settings are working fine.
--
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
