New configuration variables for setting GRUB's colors in /etc/default/grub (Debian bug #608283)

[Alexander Kurtz]

Hi,

it seems there is a quite big demand for setting GRUB's colors directly
via /etc/default/grub, see [1-8]. There seem to be no official GRUB_*
variables for this purpose yet[9].

However, Arch Linux recommends[10] using GRUB_COLOR_NORMAL and
GRUB_COLOR_HIGHLIGHT. I suggest to extend that approach and also provide
GRUB_MENU_COLOR_NORMAL and GRUB_MENU_COLOR_HIGHLIGHT roughly like that:

 GRUB_COLOR_NORMAL         - set the GRUB environment variable 'color_normal'
 GRUB_COLOR_HIGHLIGHT      - set the GRUB environment variable 'color_highlight'
 GRUB_MENU_COLOR_NORMAL    - set the GRUB environment variable 
'menu_color_normal'
 GRUB_MENU_COLOR_HIGHLIGHT - set the GRUB environment variable 
'menu_color_highlight'

I have attached a patch which makes grub-mkconfig export these new
variables. What do you think?

Best regards

Alexander Kurtz

[1] http://www.debianuserforums.org/viewtopic.php?f=10&t=151
[2] http://ubuntuforums.org/showthread.php?t=1739412
[3] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=461851
[4] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495282
[5] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=495616
[6] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500134
[7] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=608283
[8] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=610273
[9] http://www.gnu.org/software/grub/manual/grub.html#Simple-configuration
[10] https://wiki.archlinux.org/index.php/GRUB2#Menu_colors

export_new_variables.patch
Description: Text Data

signature.asc
Description: This is a digitally signed message part