grub/trunk/0001-00_header-add-GRUB_COLOR_-variables.patch

   1 From 21e5bcf22ab1a9f08c63e2a0212219d7482f77c1 Mon Sep 17 00:00:00 2001
   2 From: Christian Hesse <mail@eworm.de>
   3 Date: Wed, 10 Mar 2021 18:42:25 +0100
   4 Subject: [PATCH] 00_header: add GRUB_COLOR_* variables
   5 ---
   6  util/grub-mkconfig.in    | 2 ++
   7  util/grub.d/00_header.in | 8 ++++++++
   8  2 files changed, 10 insertions(+)
   9
  10 diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
  11 index f8cbb8d7a..1189d95f9 100644
  12 --- a/util/grub-mkconfig.in
  13 +++ b/util/grub-mkconfig.in
  14 @@ -246,6 +246,8 @@ export GRUB_DEFAULT \
  15    GRUB_BACKGROUND \
  16    GRUB_THEME \
  17    GRUB_GFXPAYLOAD_LINUX \
  18 +  GRUB_COLOR_NORMAL \
  19 +  GRUB_COLOR_HIGHLIGHT \
  20    GRUB_INIT_TUNE \
  21    GRUB_SAVEDEFAULT \
  22    GRUB_ENABLE_CRYPTODISK \
  23 diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
  24 index 93a90233e..c5955df00 100644
  25 --- a/util/grub.d/00_header.in
  26 +++ b/util/grub.d/00_header.in
  27 @@ -125,6 +125,14 @@ cat <<EOF
  28
  29  EOF
  30
  31 +if [ x$GRUB_COLOR_NORMAL != x ] && [ x$GRUB_COLOR_HIGHLIGHT != x ] ; then
  32 +    cat << EOF
  33 +set menu_color_normal=$GRUB_COLOR_NORMAL
  34 +set menu_color_highlight=$GRUB_COLOR_HIGHLIGHT
  35 +
  36 +EOF
  37 +fi
  38 +
  39  serial=0;
  40  gfxterm=0;
  41  for x in ${GRUB_TERMINAL_INPUT} ${GRUB_TERMINAL_OUTPUT}; do