01.04.2016 08:14, Ron пишет:
>
> Greetings,
>
> grub.cfg supports 3 colour options:
>
> set menu_color_normal
> set menu_color_highlight
> set color_normal
>
There is also color_highlight
>
> However, /etc/default/grub only supports 2:
>
> GRUB_COLOR_NORMAL
> GRUB_COLOR_HIGHLIGHT
>
>
>
Greetings,
grub.cfg supports 3 colour options:
set menu_color_normal
set menu_color_highlight
set color_normal
However, /etc/default/grub only supports 2:
GRUB_COLOR_NORMAL
GRUB_COLOR_HIGHLIGHT
I'd like to propose that grub supports the 3rd "set" option, and
further, that it be named