[MY solution] Re: Increase font size of GRUB menu?

From	Richard Owlett <rowlett@cloud85.net>
Newsgroups	linux.debian.user
Subject	[MY solution] Re: Increase font size of GRUB menu?
Date	2016-10-22 17:40 +0200
Message-ID	<sv6yR-5ej-1@gated-at.bofh.it> (permalink)
References	<stD5U-2pf-29@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

On 10/18/2016 8:51 AM, 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.]

Please note the "MY solution" in the subject line as I did not 
follow some advice in this thread. In ways this IS an "XY 
Problem" as I never specified some goals and constraints.

SOURCES:
  1. this thread
  2. 
https://www.gnu.org/software/grub/manual/html_node/Theme-file-format.html#Fonts
  3. https://community.linuxmint.com/tutorial/view/1357
  4. http://grub.gibibit.com/New_font_format
  5. https://manned.org/grub-mkfont.1

PROCEDURE:
   [AS ROOT]
apt-get install ttf-unifont
grub-mkfont -s 32 -o /boot/grub/fonts/unicode.pf2 \
    /usr/share/fonts/truetype/unifont/unifont.ttf

COMMENTS:
   1. I chose a character height of 32 pixels as on my 1024 line 
screen that
      gives me a nominal 32 lines of text per screen.
   2. I chose to replace the existing unicode.pf2 file as that 
gives a single
      change point if I later desire a different character 
height. I don't
      foresee it ever being changed during the life of the 
installation. It is
      my intention to work it into my preseed.cfg file - must do 
more research on how.

Back to linux.debian.user | Previous | Next — Previous 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