blob: 3b8ebb8da4fa55546f134b916ad47a759e70e02a (
plain)
1 --- 00_header.in.orig 2015-01-01 16:27:17.433852566 -0600
2 +++ 00_header.in 2015-01-01 16:27:28.603852605 -0600
3 @@ -142,7 +142,7 @@
4 if loadfont `make_system_path_relative_to_its_root "${GRUB_FONT}"` ; then
5 EOF
6 else
7 - for dir in "${pkgdatadir}" "`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`" /usr/share/grub ; do
8 + for dir in "${pkgdatadir}" "`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`" /usr/share/grub /usr/lib/grub/fonts ; do
9 for basename in unicode unifont ascii; do
10 path="${dir}/${basename}.pf2"
11 if is_path_readable_by_grub "${path}" > /dev/null ; then
|
