diff options
author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-08-25 03:01:59 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2014-08-25 03:01:59 -0300 |
commit | 99115d4e4c8280be3e68fc02bdd7d9ece8ceb0d6 (patch) | |
tree | 48ab0fe5812998d0b3cdb3284d021f576851bc87 /libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch | |
parent | 49fb84c481b4eb4e1dd582a5a023b2542e5af423 (diff) |
grub-parabola: add parabola suffix for the package
Diffstat (limited to 'libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch')
-rw-r--r-- | libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch b/libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch new file mode 100644 index 000000000..c113a81d5 --- /dev/null +++ b/libre/grub-parabola/grub-add-GRUB_COLOR_variables.patch @@ -0,0 +1,32 @@ +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 |