diff options
Diffstat (limited to 'source/a/grub/grub.dejavusansmono.gfxterm.font.diff')
-rw-r--r-- | source/a/grub/grub.dejavusansmono.gfxterm.font.diff | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/source/a/grub/grub.dejavusansmono.gfxterm.font.diff b/source/a/grub/grub.dejavusansmono.gfxterm.font.diff index 53c21ba8..2890f16f 100644 --- a/source/a/grub/grub.dejavusansmono.gfxterm.font.diff +++ b/source/a/grub/grub.dejavusansmono.gfxterm.font.diff @@ -27,17 +27,15 @@ EOF fi fi ---- ./util/grub-install.in.orig 2012-06-26 16:31:03.000000000 -0500 -+++ ./util/grub-install.in 2013-09-17 01:42:02.678834196 -0500 -@@ -552,6 +552,11 @@ - cp "${pkgdatadir}"/themes/starfield/* "${grubdir}"/themes/starfield - fi +diff -Naur grub-2.02~beta2.orig/util/grub-install.c grub-2.02~beta2/util/grub-install.c +--- grub-2.02~beta2.orig/util/grub-install.c 2013-12-24 08:40:31.000000000 -0800 ++++ grub-2.02~beta2/util/grub-install.c.new 2015-01-27 22:07:56.714000000 -0800 +@@ -827,7 +827,7 @@ + grub_util_host_init (&argc, &argv); + product_version = xstrdup (PACKAGE_VERSION); + pkgdatadir = grub_util_get_pkgdatadir (); +- label_font = grub_util_path_concat (2, pkgdatadir, "unicode.pf2"); ++ label_font = grub_util_path_concat (2, pkgdatadir, "dejavusansmono.pf2"); + + argp_parse (&argp, argc, argv, 0, 0, 0); -+if test -f "${pkgdatadir}"/dejavusansmono.pf2; then -+ mkdir -p "${grubdir}"/fonts -+ cp "${pkgdatadir}"/dejavusansmono.pf2 "${grubdir}"/fonts -+fi -+ - if test -f "${pkgdatadir}"/unicode.pf2; then - mkdir -p "${grubdir}"/fonts - cp "${pkgdatadir}"/unicode.pf2 "${grubdir}"/fonts |