[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Grub bug report / feature request
From: |
Ron |
Subject: |
Grub bug report / feature request |
Date: |
Thu, 31 Mar 2016 22:14:10 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 |
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 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.
Ronald Barnes
- Grub bug report / feature request,
Ron <=