From fef4d5b1dc3c282916e79ae6680f3fc5bbea772b Mon Sep 17 00:00:00 2001 From: André Fabian Silva Delgado Date: Tue, 6 Aug 2013 17:32:49 -0300 Subject: grub-2.00.5086-1: updating version, fix https://bugs.archlinux.org/task/36349 --- libre/grub/archlinux_grub_mkconfig_fixes.patch | 143 +++++++++++++++++++++++++ 1 file changed, 143 insertions(+) create mode 100644 libre/grub/archlinux_grub_mkconfig_fixes.patch (limited to 'libre/grub/archlinux_grub_mkconfig_fixes.patch') diff --git a/libre/grub/archlinux_grub_mkconfig_fixes.patch b/libre/grub/archlinux_grub_mkconfig_fixes.patch new file mode 100644 index 000000000..acbb9a7a8 --- /dev/null +++ b/libre/grub/archlinux_grub_mkconfig_fixes.patch @@ -0,0 +1,143 @@ +diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in +index 8decc1d..170047f 100644 +--- a/util/grub-mkconfig.in ++++ b/util/grub-mkconfig.in +@@ -212,6 +212,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 2c4bb0a..c7120d2 100644 +--- a/util/grub.d/00_header.in ++++ b/util/grub.d/00_header.in +@@ -125,6 +125,14 @@ cat <