12 lines
598 B
Diff
12 lines
598 B
Diff
--- 00_header.in.orig 2015-01-01 16:27:17.433852566 -0600
|
|
+++ 00_header.in 2015-01-01 16:27:28.603852605 -0600
|
|
@@ -142,7 +142,7 @@
|
|
if loadfont `make_system_path_relative_to_its_root "${GRUB_FONT}"` ; then
|
|
EOF
|
|
else
|
|
- for dir in "${pkgdatadir}" "`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`" /usr/share/grub ; do
|
|
+ for dir in "${pkgdatadir}" "`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`" /usr/share/grub /usr/lib/grub/fonts ; do
|
|
for basename in unicode unifont ascii; do
|
|
path="${dir}/${basename}.pf2"
|
|
if is_path_readable_by_grub "${path}" > /dev/null ; then
|