Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #173610
| From | Richard Owlett <rowlett@cloud85.net> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Increase font size of GRUB menu? |
| Date | 2016-10-19 20:00 +0200 |
| Message-ID | <su3jI-4wR-9@gated-at.bofh.it> (permalink) |
| References | (2 earlier) <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> <su24i-3OH-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
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.
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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