| 123456789101112 |
- --- 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
|
