Re: Increase font size of GRUB menu?

[Anthony Baldwin <baldwinlinguas@gmx.com>]

It's been a while since I saw it, but I swear I once had a graphical 
tool for editing various Grub parameters, including the splash screen 
image, font, font size, and the grub menu, but I can't find it now.

On 10/18/2016 11:22 AM, Richard Owlett wrote:
> On 10/18/2016 9:20 AM, Darac Marjal wrote:
> > On Tue, Oct 18, 2016 at 08:51:00AM -0500, Richard Owlett wrote:
> > > With GRUB2 on Jessie, how do I increase the menu's font _size_ .
> > > A Google search wandered around my problem without addressing it.
> > > I did discover that that GRUB was using a resolution that
> > > matched my monitor's settings.
> > >
> > > [When menu comes up go to command mode by typing 'c'. Then
> > > enter 'vbeinfo' to see list of supported resolutions. In my
> > > case the active resolution was listed as 1280 x 1024.]
> >
> > You will need to convert a font of your choice to GRUB's pf2 format:
> >
> >      # grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
> >      /path/to/Example.ttf
> >
> > (adjust the names to reflect your chosen font. The parameter to
> > -s is the font size in pixels).
> >
> > Next up, tell grub that you want to use your new font. Add this
> > to /etc/default/grub:
> >
> >      GRUB_FONT=/boot/grub/fonts/example.pf2
> >
> > Finally,
> >
> >      # update-grub
>
>
> 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.

--
http://www.baldwinlinguas.com
translations, localization,
multilingual web development
EN, ES, FR, PT