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


Groups > linux.debian.user > #173568 > unrolled thread

Increase font size of GRUB menu?

Started byRichard Owlett <rowlett@cloud85.net>
First post2016-10-18 16:00 +0200
Last post2016-10-22 17:40 +0200
Articles 19 — 8 participants

Back to article view | Back to linux.debian.user


Contents

  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

#173568 — Increase font size of GRUB menu?

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-18 16:00 +0200
SubjectIncrease font size of GRUB menu?
Message-ID<stD5U-2pf-29@gated-at.bofh.it>
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.]

[toc] | [next] | [standalone]


#173571

FromDarac Marjal <mailinglist@darac.org.uk>
Date2016-10-18 16:30 +0200
Message-ID<stDyW-2Sj-11@gated-at.bofh.it>
In reply to#173568
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_ .
>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.]
>

You will need to convert a font of your choice to GRUB's pf2 format:

	# grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24 
	/path/to/Example.ttf

(adjust the names to reflect your chosen font. The parameter to -s is 
the font size in pixels).

Next up, tell grub that you want to use your new font. Add this to 
/etc/default/grub:

	GRUB_FONT=/boot/grub/fonts/example.pf2

Finally,

	# update-grub

>
>
>

-- 
For more information, please reread.

[toc] | [prev] | [next] | [standalone]


#173572

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-18 17:30 +0200
Message-ID<stEv0-3xx-35@gated-at.bofh.it>
In reply to#173571
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_ .
>> 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.]
>>
>
> You will need to convert a font of your choice to GRUB's pf2 format:
>
>      # grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
>      /path/to/Example.ttf
>
> (adjust the names to reflect your chosen font. The parameter to
> -s is the font size in pixels).
>
> Next up, tell grub that you want to use your new font. Add this
> to /etc/default/grub:
>
>      GRUB_FONT=/boot/grub/fonts/example.pf2
>
> Finally,
>
>      # update-grub


I'm confused. We may be using the term "font" differently. The 
existing font family is acceptable. I just wish to change size of 
existing font.

[toc] | [prev] | [next] | [standalone]


#173573

From<tomas@tuxteam.de>
Date2016-10-18 18:30 +0200
Message-ID<stFr4-4cE-29@gated-at.bofh.it>
In reply to#173572
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Tue, Oct 18, 2016 at 10:22:24AM -0500, Richard Owlett wrote:
> On 10/18/2016 9:20 AM, Darac Marjal wrote:

[...]

> >You will need to convert a font of your choice to GRUB's pf2 format:

[...]

> I'm confused. We may be using the term "font" differently. The
> existing font family is acceptable. I just wish to change size of
> existing font.

pf2 fonts are bitmap fonts: it's most probable that "a different size"
for Grub means "a different font". I don't think Grub is in the
business of resizing fonts -- they have to be sized for him before
the fact. Sameness is in the eye of the beholder ;-)

[but take into account that I don't know for sure]

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

iEYEARECAAYFAlgGTEYACgkQBcgs9XrR2kZ0VwCferycSGIZG2r6xobMatqfTcZW
JZoAnRXb97JyCrDfcnGXcIwhbJIG0qG8
=grpT
-----END PGP SIGNATURE-----

[toc] | [prev] | [next] | [standalone]


#173574

FromDarac Marjal <mailinglist@darac.org.uk>
Date2016-10-18 18:40 +0200
Message-ID<stFAK-4gM-23@gated-at.bofh.it>
In reply to#173572
On Tue, Oct 18, 2016 at 10:22:24AM -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_ .
>>>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.]
>>>
>>
>>You will need to convert a font of your choice to GRUB's pf2 format:
>>
>>     # grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
>>     /path/to/Example.ttf
>>
>>(adjust the names to reflect your chosen font. The parameter to
>>-s is the font size in pixels).
>>
>>Next up, tell grub that you want to use your new font. Add this
>>to /etc/default/grub:
>>
>>     GRUB_FONT=/boot/grub/fonts/example.pf2
>>
>>Finally,
>>
>>     # update-grub
>
>
>I'm confused. We may be using the term "font" differently. The 
>existing font family is acceptable. I just wish to change size of 
>existing font.

As I understand it, Grub uses bitmap fonts. That is, each character on 
screen is a little picture. TrueType fonts, by contrast, are vector 
fonts: Each character describes the shape of the letter. TrueType fonts 
can be rescaled easily (actually, vector fonts must ALWAYS be scaled), 
but bitmap fonts either don't scale, or look terrible when scaled.

I suspect, in order to keep grub's already fairly bulky footprint down, 
the developers have elected NOT to put a full font-rendering engine in.  
Or rather, that's what grub-mkfont is: it pre-renders the font at a 
specified scale, allowing the bootloader to simply paste the images to 
screen when showing the menu.

Now, if you want to use the existing font, but render it at a different 
scale, then we need to look at what grub uses by default. Apparently, 
the default is "unicode.pf2". A bit of staring at the sourcecode 
(Makefile.am and configure.ac) tells me that this comes from either GNU 
Unifont or DejaVuSans.  Fortunately, they're bot available in debian 
(ttf-unifont and fonts-dejavu-core), so you should be able to re-render 
them at whatever size you like, and get an identical display, but 
larger.

-- 
For more information, please reread.

[toc] | [prev] | [next] | [standalone]


#173578

FromAnthony Baldwin <baldwinlinguas@gmx.com>
Date2016-10-18 21:40 +0200
Message-ID<stIoV-6jf-17@gated-at.bofh.it>
In reply to#173572
It's been a while since I saw it, but I swear I once had a graphical 
tool for editing various Grub parameters, including the splash screen 
image, font, font size, and the grub menu, but I can't find it now.

On 10/18/2016 11:22 AM, 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_ .
>>> 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.]
>>>
>>
>> You will need to convert a font of your choice to GRUB's pf2 format:
>>
>>      # grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
>>      /path/to/Example.ttf
>>
>> (adjust the names to reflect your chosen font. The parameter to
>> -s is the font size in pixels).
>>
>> Next up, tell grub that you want to use your new font. Add this
>> to /etc/default/grub:
>>
>>      GRUB_FONT=/boot/grub/fonts/example.pf2
>>
>> Finally,
>>
>>      # update-grub
>
>
> I'm confused. We may be using the term "font" differently. The existing
> font family is acceptable. I just wish to change size of existing font.
>
>

-- 
http://www.baldwinlinguas.com
translations, localization,
multilingual web development
EN, ES, FR, PT

[toc] | [prev] | [next] | [standalone]


#173586

FromBrian <ad44@cityscape.co.uk>
Date2016-10-19 12:40 +0200
Message-ID<stWrU-69-13@gated-at.bofh.it>
In reply to#173572
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_ .
> >>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.]
> >>
> >
> >You will need to convert a font of your choice to GRUB's pf2 format:
> >
> >     # grub-mkfont -o /boot/grub/fonts/example.pf2 -s 24
> >     /path/to/Example.ttf
> >
> >(adjust the names to reflect your chosen font. The parameter to
> >-s is the font size in pixels).
> >
> >Next up, tell grub that you want to use your new font. Add this
> >to /etc/default/grub:
> >
> >     GRUB_FONT=/boot/grub/fonts/example.pf2
> >
> >Finally,
> >
> >     # update-grub
> 
> 
> I'm confused. We may be using the term "font" differently. The existing font
> family is acceptable. I just wish to change size of existing font.

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.

-- 
Brian.

[toc] | [prev] | [next] | [standalone]


#173587

From<tomas@tuxteam.de>
Date2016-10-19 13:10 +0200
Message-ID<stWUV-vm-5@gated-at.bofh.it>
In reply to#173586
-----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].

[1] http://xyproblem.info/
[2] No, I'm not the original poster. I might well be wrong. But the
   evidence is so blazing that I can't hardly see anything else :-)
   Apologies to Richard if I'm wrong.

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

iEYEARECAAYFAlgHVC0ACgkQBcgs9XrR2kahgACfYNckYcqg0S4y1+46mOsEHNtc
a6UAniw/Vul9ObZHOGdLRvGi8mhi7aFK
=d7fh
-----END PGP SIGNATURE-----

[toc] | [prev] | [next] | [standalone]


#173595

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-19 16:30 +0200
Message-ID<su02w-2rf-125@gated-at.bofh.it>
In reply to#173587
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.
In my case I wish to use default resolution of current 
driver/monitor combination.
I install to multiple machine/monitor permutations.
My optimal solution will be of the form [*NOT* checked for syntax 
yet]
   grub-mkfont -o /boot/grub/fonts/unicode.pf2  -s MYSIZE 
/path/to/Example.ttf


>
> [1] http://xyproblem.info/
> [2] No, I'm not the original poster. I might well be wrong. But the
>     evidence is so blazing that I can't hardly see anything else :-)
>     Apologies to Richard if I'm wrong.
>
>

[toc] | [prev] | [next] | [standalone]


#173597

From<tomas@tuxteam.de>
Date2016-10-19 16:50 +0200
Message-ID<su0lQ-2yX-37@gated-at.bofh.it>
In reply to#173595
-----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-----

[toc] | [prev] | [next] | [standalone]


#173598

FromHans <hans.ullrich@loop.de>
Date2016-10-19 17:00 +0200
Message-ID<su0vx-2D0-79@gated-at.bofh.it>
In reply to#173597
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

[toc] | [prev] | [next] | [standalone]


#173604

FromBrian <ad44@cityscape.co.uk>
Date2016-10-19 18:20 +0200
Message-ID<su1KW-3Hg-19@gated-at.bofh.it>
In reply to#173595
On Wed 19 Oct 2016 at 09:22:00 -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.

From

 https://www.gnu.org/software/grub/manual/html_node/gfxmode.html

   The default is ‘auto’, which selects a platform-specific
   default that should look reasonable.

I wonder if your "default" is the same as GRUB's "default". Also,
whatever default resolution you get will affect the perceived font
size, no matter what font face is used.

> My optimal solution will be of the form [*NOT* checked for syntax yet]
>   grub-mkfont -o /boot/grub/fonts/unicode.pf2  -s MYSIZE
> /path/to/Example.ttf

Do you really want to overwrite the system's unicode.pf2?

-- 
Brian.

[toc] | [prev] | [next] | [standalone]


#173609

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-19 19:50 +0200
Message-ID<su3a2-4te-33@gated-at.bofh.it>
In reply to#173604
On 10/19/2016 11:17 AM, Brian wrote:
> On Wed 19 Oct 2016 at 09:22:00 -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.
>
> From
>
>   https://www.gnu.org/software/grub/manual/html_node/gfxmode.html
>
>     The default is ‘auto’, which selects a platform-specific
>     default that should look reasonable.
>
> I wonder if your "default" is the same as GRUB's "default". Also,
> whatever default resolution you get will affect the perceived font
> size, no matter what font face is used.

Interesting problem set. I've some glimmerings. Working on a 
'formal' definition of the problem set.

>
>> My optimal solution will be of the form [*NOT* checked for syntax yet]
>>    grub-mkfont -o /boot/grub/fonts/unicode.pf2  -s MYSIZE
>> /path/to/Example.ttf
>
> Do you really want to overwrite the system's unicode.pf2?
>

I my specific use case, I think so. It illustrates why I do not 
consider my original post to not quite be a 'XY Problem'. I'm 
working on optimizing Debian install to match some personal ideas 
on the optimal "look and feel" of a *nix system. Carried to its 
logical conclusion, what I'm working towards would be near 
dividing line between a "Debian Pure Blend" and a "Debian 
Derivative".

[toc] | [prev] | [next] | [standalone]


#173614

FromBrian <ad44@cityscape.co.uk>
Date2016-10-19 21:20 +0200
Message-ID<su4z7-5wI-9@gated-at.bofh.it>
In reply to#173609
On Wed 19 Oct 2016 at 12:44:16 -0500, Richard Owlett wrote:

> On 10/19/2016 11:17 AM, Brian wrote:
> >
> >Do you really want to overwrite the system's unicode.pf2?
> 
> I my specific use case, I think so. It illustrates why I do not consider my
> original post to not quite be a 'XY Problem'. I'm working on optimizing
> Debian install to match some personal ideas on the optimal "look and feel"
> of a *nix system. Carried to its logical conclusion, what I'm working
> towards would be near dividing line between a "Debian Pure Blend" and a
> "Debian Derivative".

unicode.pf2 is the default font. It will not be used if another .psf
file is specified. Let the poor thing live! It is doing no harm and
might be needed if the one being used is discarded.

-- 
Brian.

[toc] | [prev] | [next] | [standalone]


#173605

FromJonathan Dowland <jmtd@debian.org>
Date2016-10-19 18:40 +0200
Message-ID<su24i-3OH-5@gated-at.bofh.it>
In reply to#173595

[Multipart message — attachments visible in raw view] — view raw

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.

[toc] | [prev] | [next] | [standalone]


#173610

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-19 20:00 +0200
Message-ID<su3jI-4wR-9@gated-at.bofh.it>
In reply to#173605
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.

[toc] | [prev] | [next] | [standalone]


#173612

FromFelix Miata <mrmazda@earthlink.net>
Date2016-10-19 20:30 +0200
Message-ID<su3MJ-4ZU-21@gated-at.bofh.it>
In reply to#173610
Richard Owlett composed on 2016-10-19 12:51 (UTC-0500):

> 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.

I seriously doubt you'll find any support for the display density dependence 
required to use the physical unit that is pt from the kernel.

Sizing objects in most computing contexts is geared more heavily to pixels 
now than ever before. The concept of WYSIWYG is in atrophy outside of word 
processing environments. When one sees a number associated with text size in 
a computing environment one can generally only guess whether it means px or 
pt or something else altogether.

Browser makers several years ago dispensed with all physical units in a 
screen context, arbitrarily making the pt unit exactly equal to the px unit 
in order to reduce unexpected behavior from incompetently styled web pages, 
keeping physical units only for a printing context.

What you're attempting to do I don't even try. All my machines are multiboot. 
I deal with boot menu text size simply by making it big without much regard 
to the display to be used or its native resolution. And, I do it with Grub 
Legacy and Gfxboot (both from openSUSE), which I install myself and manage 
myself, and keep in a primary partition that never gets mounted to /boot. 
Gfxboot can be configured to display the selected stanza's kernel cmdline 
automatically. On each, I include the most common parameters affecting 
framebuffer configuration at or near the end of the line. If the last listed 
is suitable for the display, I simply hit enter. If not, it's ready to edit 
with a minimum of keystrokes. I find with the text sizes I prefer on a full 
(framebuffer) screen that native screen resolution is a non-issue, so nearly 
always use one that is lower than native except running Xorg.
-- 
"The wise are known for their understanding, and pleasant
words are persuasive." Proverbs 16:21 (New Living Translation)

  Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/

[toc] | [prev] | [next] | [standalone]


#173613

FromBrian <ad44@cityscape.co.uk>
Date2016-10-19 20:50 +0200
Message-ID<su466-57u-33@gated-at.bofh.it>
In reply to#173610
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.

[toc] | [prev] | [next] | [standalone]


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

FromRichard Owlett <rowlett@cloud85.net>
Date2016-10-22 17:40 +0200
Subject[MY solution] Re: Increase font size of GRUB menu?
Message-ID<sv6yR-5ej-1@gated-at.bofh.it>
In reply to#173568
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.

[toc] | [prev] | [standalone]


Back to top | Article view | linux.debian.user


csiph-web