Searched refs:GRUB_FONT (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-mkconfig.in171 if [ -n "$GRUB_FONT" ] ; then
172 if is_path_readable_by_grub ${GRUB_FONT} > /dev/null ; then
173 GRUB_FONT_PATH=${GRUB_FONT}
175 echo "No such font or not readable by grub: ${GRUB_FONT}" >&2

Completed in 15 milliseconds