[Top][All Lists]

[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:
> 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)
> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]