| 123456789101112131415161718192021222324252627282930313233 |
- diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
- index 3390ba9..c416489 100644
- --- a/util/grub-mkconfig.in
- +++ b/util/grub-mkconfig.in
- @@ -218,6 +218,8 @@ export GRUB_DEFAULT \
- GRUB_THEME \
- GRUB_GFXPAYLOAD_LINUX \
- GRUB_DISABLE_OS_PROBER \
- + GRUB_COLOR_NORMAL \
- + GRUB_COLOR_HIGHLIGHT \
- GRUB_INIT_TUNE \
- GRUB_SAVEDEFAULT \
- GRUB_ENABLE_CRYPTODISK \
- diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
- index d2e7252..8259f45 100644
- --- a/util/grub.d/00_header.in
- +++ b/util/grub.d/00_header.in
- @@ -125,6 +125,14 @@ cat <<EOF
-
- EOF
-
- +if [ x$GRUB_COLOR_NORMAL != x ] && [ x$GRUB_COLOR_HIGHLIGHT != x ] ; then
- + cat << EOF
- +set menu_color_normal=$GRUB_COLOR_NORMAL
- +set menu_color_highlight=$GRUB_COLOR_HIGHLIGHT
- +
- +EOF
- +fi
- +
- serial=0;
- gfxterm=0;
- for x in ${GRUB_TERMINAL_INPUT} ${GRUB_TERMINAL_OUTPUT}; do
|
