Re: Increase font size of GRUB menu?

From	<tomas@tuxteam.de>
Newsgroups	linux.debian.user
Subject	Re: Increase font size of GRUB menu?
Date	2016-10-19 16:50 +0200
Message-ID	<su0lQ-2yX-37@gated-at.bofh.it> (permalink)
References	(1 earlier) <stDyW-2Sj-11@gated-at.bofh.it> <stEv0-3xx-35@gated-at.bofh.it> <stWrU-69-13@gated-at.bofh.it> <stWUV-vm-5@gated-at.bofh.it> <su02w-2rf-125@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Wed, Oct 19, 2016 at 09:22:00AM -0500, Richard Owlett wrote:
> On 10/19/2016 6:08 AM, tomas@tuxteam.de wrote:
> >-----BEGIN PGP SIGNED MESSAGE-----
> >Hash: SHA1
> >
> >On Wed, Oct 19, 2016 at 11:37:08AM +0100, Brian wrote:
> >>On Tue 18 Oct 2016 at 10:22:24 -0500, 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_ .
> >
> >[...]
> >
> >>You presumably want to increase the size of what you *see* on the
> >>screen. Try
> >>
> >>   GRUB_GFXMODE=640x480
> >>
> >>in /etc/default/grub. 'update-grub' and reboot.
> >
> >Brilliant. Brian, you were the only who could peer through the the XY
> >problem's fog [1]. Thanks for that [2].
> 
> It's not _quite_ an 'XY Problem'. The OP hath declared. <grin>
> It may be its first cousin. There is a not explicitly stated
> solution constraint.

OK, apologies then (see footnote 2 ;-)

Regards
- -- t
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlgHhbQACgkQBcgs9XrR2kb3TwCeNZ2xA85TLvrKHnlN62BnHVu4
+UwAn1ZU8W1Ul+A+6tVRJ/x7806vJNIW
=Q3hK
-----END PGP SIGNATURE-----

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