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

Groups > linux.debian.user > #173613

Re: Increase font size of GRUB menu?

Show all headers | View raw

On Wed 19 Oct 2016 at 12:51:32 -0500, Richard Owlett wrote:

> On 10/19/2016 11:33 AM, Jonathan Dowland wrote:
> >On Wed, Oct 19, 2016 at 09:22:00AM -0500, Richard Owlett wrote:
> >>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.
> >>In my case I wish to use default resolution of current driver/monitor
> >>combination.
> >>I install to multiple machine/monitor permutations.
> >
> >This is an interesting problem. You are right that changing GRUB's display
> >resolution will not get consistent results across multiple machines (with
> >different native/default resolutions, etc. -- and different screens with
> >different DPIs)
> >
> >However, the same is true for different font sizes. A system with a higher DPI
> >will show the same size font physically smaller than another with a lower DPI.
> >
> 
> The ideal solution would be the ability to specify desired font size in
> points.
> I've not decided on an attainable approximate metric.

As Jonathan Dowland says, the interplay between screen resolution, DPI
and font size makes this an interesting problem. With the present GRUB,
booting a USB stick and having all displays look nearly the same is
probably an insoluable problem.

What I do is fix gfxmode at 1024x728, find a font size from experiment
and cross my fingers. This mostly works on different machines. It comes
to mind (and I have had no opportunity to try it) to have different GRUB
stanzas with different gfxmode resolutions and font sizes for different
displays.

-- 
Brian.

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