123456789101112131415161718192021222324252627282930313233343536373839404142 |
- From 21e5bcf22ab1a9f08c63e2a0212219d7482f77c1 Mon Sep 17 00:00:00 2001
- From: Christian Hesse <mail@eworm.de>
- Date: Wed, 10 Mar 2021 18:42:25 +0100
- Subject: [PATCH] 00_header: add GRUB_COLOR_* variables
- ---
- util/grub-mkconfig.in | 2 ++
- util/grub.d/00_header.in | 8 ++++++++
- 2 files changed, 10 insertions(+)
- diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
- index f8cbb8d7a..1189d95f9 100644
- --- a/util/grub-mkconfig.in
- +++ b/util/grub-mkconfig.in
- @@ -246,6 +246,8 @@ export GRUB_DEFAULT \
- GRUB_BACKGROUND \
- GRUB_THEME \
- GRUB_GFXPAYLOAD_LINUX \
- + 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 93a90233e..c5955df00 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
|