0001-00_header-add-GRUB_COLOR_-variables.patch 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  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. diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
  10. index f8cbb8d7a..1189d95f9 100644
  11. --- a/util/grub-mkconfig.in
  12. +++ b/util/grub-mkconfig.in
  13. @@ -246,6 +246,8 @@ export GRUB_DEFAULT \
  14. GRUB_BACKGROUND \
  15. GRUB_THEME \
  16. GRUB_GFXPAYLOAD_LINUX \
  17. + GRUB_COLOR_NORMAL \
  18. + GRUB_COLOR_HIGHLIGHT \
  19. GRUB_INIT_TUNE \
  20. GRUB_SAVEDEFAULT \
  21. GRUB_ENABLE_CRYPTODISK \
  22. diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
  23. index 93a90233e..c5955df00 100644
  24. --- a/util/grub.d/00_header.in
  25. +++ b/util/grub.d/00_header.in
  26. @@ -125,6 +125,14 @@ cat <<EOF
  27. EOF
  28. +if [ x$GRUB_COLOR_NORMAL != x ] && [ x$GRUB_COLOR_HIGHLIGHT != x ] ; then
  29. + cat << EOF
  30. +set menu_color_normal=$GRUB_COLOR_NORMAL
  31. +set menu_color_highlight=$GRUB_COLOR_HIGHLIGHT
  32. +
  33. +EOF
  34. +fi
  35. +
  36. serial=0;
  37. gfxterm=0;
  38. for x in ${GRUB_TERMINAL_INPUT} ${GRUB_TERMINAL_OUTPUT}; do