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. _______________________________________________ Bug-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-grub
