From 4aad8618e680a805bb1652398841484c153130a3 Mon Sep 17 00:00:00 2001 From: Peter Hurley Date: Sat, 22 Dec 2012 11:33:08 -0500 Subject: [PATCH] Override colors from /etc/default/grub Allow user to trivially specify text colors in /etc/default/grub when a background has been set, like; GRUB_BACKGROUND="/usr/share/backgrounds/...." export COLOR_NORMAL=white/black export COLOR_HIGHLIGHT=white/light-gray Signed-off-by: Peter Hurley --- debian/grub.d/05_debian_theme | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/grub.d/05_debian_theme b/debian/grub.d/05_debian_theme index ce7c14f..dde8dcf 100755 --- a/debian/grub.d/05_debian_theme +++ b/debian/grub.d/05_debian_theme @@ -147,13 +147,13 @@ fi # If so, try to use it. Don't try the other possibilities in that case # (#608263). if [ -n "${GRUB_BACKGROUND+x}" ]; then - set_background_image "${GRUB_BACKGROUND}" || set_default_theme + set_background_image "${GRUB_BACKGROUND}" "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT}" || set_default_theme exit 0 fi # Next search for pictures the user put into /boot/grub/ and use the first one. for background in *.jpg *.JPG *.jpeg *.JPEG *.png *.PNG *.tga *.TGA; do - if set_background_image "${background}"; then + if set_background_image "${background}" "${COLOR_NORMAL}" "${COLOR_HIGHLIGHT}"; then exit 0 fi done -- 1.8.0.2