diff options
author | Mike Swanson | 2021-06-20 08:07:01 -0700 |
---|---|---|
committer | Mike Swanson | 2021-06-20 08:07:01 -0700 |
commit | b780a410f2a725002f1ff11c583d226d0a9ce5f5 (patch) | |
tree | 7acbe31e1c7c8488be76be5e906929d311a4bbdc /0004-add-GRUB_COLOR_variables.patch | |
parent | 0bd6092ac0d3d7e2ee1d34aa434162d4f1cfc3e3 (diff) | |
download | aur-b780a410f2a725002f1ff11c583d226d0a9ce5f5.tar.gz |
Update to 2.06-1, synced with core repo
Diffstat (limited to '0004-add-GRUB_COLOR_variables.patch')
-rw-r--r-- | 0004-add-GRUB_COLOR_variables.patch | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/0004-add-GRUB_COLOR_variables.patch b/0004-add-GRUB_COLOR_variables.patch deleted file mode 100644 index c113a81d5754..000000000000 --- a/0004-add-GRUB_COLOR_variables.patch +++ /dev/null @@ -1,32 +0,0 @@ -diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in -index 3390ba9..c416489 100644 ---- a/util/grub-mkconfig.in -+++ b/util/grub-mkconfig.in -@@ -218,6 +218,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 d2e7252..8259f45 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 |