Re: Increase font size of GRUB menu?
-----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-----
Reply to: