-----BEGIN PGP SIGNED MESSAGE-----
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]
- -- t
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
-----END PGP SIGNATURE-----