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

Groups > linux.debian.user > #173598

Re: Increase font size of GRUB menu?

From Hans <hans.ullrich@loop.de>
Newsgroups linux.debian.user
Subject Re: Increase font size of GRUB menu?
Date 2016-10-19 17:00 +0200
Message-ID <su0vx-2D0-79@gated-at.bofh.it> (permalink)
References <stD5U-2pf-29@gated-at.bofh.it> <su02w-2rf-125@gated-at.bofh.it> <su0lQ-2yX-37@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw

Hi,

to change the resolution at boot makes EVERYTHING bigger: the picture, the 
fonts and so on.

Isn't the font not beeing created by the file /boot/grub/fonts/unicode.pf2?
I believe, to exchange this against another file might increase the font.

However, I do still not know, which format this file is and how to create an 
own one. Maybe someone else is knowing more.

Best

Hans

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