[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Grub bug report / feature request
From: |
Andrei Borzenkov |
Subject: |
Re: Grub bug report / feature request |
Date: |
Fri, 1 Apr 2016 20:42:51 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
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
>
>
> I'd like to propose that grub supports the 3rd "set" option, and
> further, that it be named such that it's clear that it is not referring
> to a "menu" item colour (GRUB_COLOR_NORMAL refers to menu_color_normal).
>
>
> I'm using version "grub-mkconfig (GRUB) 2.02~beta2" on a Manjaro
> distribution.
>
> Finally, to show that there *appears* to be only 2 recognized colour
> options in grub-mkconfig, I run the following:
>
>> grep -i color $(which grub-mkconfig)
>> GRUB_COLOR_NORMAL \
>> GRUB_COLOR_HIGHLIGHT \
>
>
> Thank you for your time and for grub in general.
>
Do you really have use case for them? In all cases I am aware of if
people need eye candy they use themes and if the use text menu this is
usually when they do not care about eye candy.