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

2016-10-22 Thread Richard Owlett
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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Brian
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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Brian
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. > >>It may be its first cousin. There is a not explicitly

Re: Increase font size of GRUB menu?

2016-10-19 Thread Felix Miata
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. It may be its first cousin. There is a not explicitly stated solution constraint. In my

Re: Increase font size of GRUB menu?

2016-10-19 Thread Richard Owlett
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. It may be its first cousin. There is a not explicitly stated solution constraint. In my case I wish to use default resolution

Re: Increase font size of GRUB menu?

2016-10-19 Thread Richard Owlett
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. 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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Jonathan Dowland
On Wed, Oct 19, 2016 at 09:22:00AM -0500, Richard Owlett wrote: > It's not _quite_ an 'XY Problem'. The OP hath declared. > 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. >

Re: Increase font size of GRUB menu?

2016-10-19 Thread Brian
On Wed 19 Oct 2016 at 09:22:00 -0500, Richard Owlett wrote: > It's not _quite_ an 'XY Problem'. The OP hath declared. > 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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Hans
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

Re: Increase font size of GRUB menu?

2016-10-19 Thread tomas
-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, to...@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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Richard Owlett
On 10/19/2016 6:08 AM, to...@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

Re: Increase font size of GRUB menu?

2016-10-19 Thread tomas
-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

Re: Increase font size of GRUB menu?

2016-10-19 Thread Brian
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

Re: Increase font size of GRUB menu?

2016-10-18 Thread Anthony Baldwin
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

Re: Increase font size of GRUB menu?

2016-10-18 Thread Darac Marjal
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

Re: Increase font size of GRUB menu?

2016-10-18 Thread tomas
-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"

Re: Increase font size of GRUB menu?

2016-10-18 Thread Richard Owlett
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

Re: Increase font size of GRUB menu?

2016-10-18 Thread Darac Marjal
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

Increase font size of GRUB menu?

2016-10-18 Thread Richard Owlett
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