grub2-2.12

system/boot/grub2/files/mkconfig-fix.patch

@@ -7,22 +7,24 @@ Subject: [PATCH] 00_header: add GRUB_COLOR_* variables
  util/grub.d/00_header.in | 8 ++++++++
  2 files changed, 10 insertions(+)
 
-diff -Nuar a/util/grub-mkconfig.in b/util/grub-mkconfig.in
---- a/util/grub-mkconfig.in	2021-11-05 18:53:16.118969000 +0300
-+++ b/util/grub-mkconfig.in	2021-11-05 20:03:25.603871159 +0300
-@@ -243,6 +243,8 @@
+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_DISABLE_OS_PROBER \
    GRUB_INIT_TUNE \
    GRUB_SAVEDEFAULT \
-diff -Nuar a/util/grub.d/00_header.in b/util/grub.d/00_header.in
---- a/util/grub.d/00_header.in	2021-11-05 18:53:15.816969000 +0300
-+++ b/util/grub.d/00_header.in	2021-11-05 20:06:00.698859968 +0300
-@@ -125,6 +125,14 @@
+   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
 
@@ -37,4 +39,3 @@ diff -Nuar a/util/grub.d/00_header.in b/util/grub.d/00_header.in
  serial=0;
  gfxterm=0;
  for x in ${GRUB_TERMINAL_INPUT} ${GRUB_TERMINAL_OUTPUT}; do
-