-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tue, Oct 18, 2016 at 10:22:24AM -0500, Richard Owlett wrote: > On 10/18/2016 9:20 AM, Darac Marjal wrote:
[...] > >You will need to convert a font of your choice to GRUB's pf2 format: [...] > I'm confused. We may be using the term "font" differently. The > existing font family is acceptable. I just wish to change size of > existing font. pf2 fonts are bitmap fonts: it's most probable that "a different size" for Grub means "a different font". I don't think Grub is in the business of resizing fonts -- they have to be sized for him before the fact. Sameness is in the eye of the beholder ;-) [but take into account that I don't know for sure] regards - -- t -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlgGTEYACgkQBcgs9XrR2kZ0VwCferycSGIZG2r6xobMatqfTcZW JZoAnRXb97JyCrDfcnGXcIwhbJIG0qG8 =grpT -----END PGP SIGNATURE-----
