Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #173578

Re: Increase font size of GRUB menu?

Show all headers | View raw

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

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-18 16:00 +0200
  Re: Increase font size of GRUB menu? Darac Marjal <mailinglist@darac.org.uk> - 2016-10-18 16:30 +0200
    Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-18 17:30 +0200
      Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-18 18:30 +0200
      Re: Increase font size of GRUB menu? Darac Marjal <mailinglist@darac.org.uk> - 2016-10-18 18:40 +0200
      Re: Increase font size of GRUB menu? Anthony Baldwin <baldwinlinguas@gmx.com> - 2016-10-18 21:40 +0200
      Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 12:40 +0200
        Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-19 13:10 +0200
          Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 16:30 +0200
            Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-19 16:50 +0200
              Re: Increase font size of GRUB menu? Hans <hans.ullrich@loop.de> - 2016-10-19 17:00 +0200
            Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 18:20 +0200
              Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 19:50 +0200
                Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 21:20 +0200
            Re: Increase font size of GRUB menu? Jonathan Dowland <jmtd@debian.org> - 2016-10-19 18:40 +0200
              Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 20:00 +0200
                Re: Increase font size of GRUB menu? Felix Miata <mrmazda@earthlink.net> - 2016-10-19 20:30 +0200
                Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 20:50 +0200
  [MY solution] Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-22 17:40 +0200

csiph-web