On 12/16/18 2:26 PM, home user via users wrote:
The error messages that appeared before the grub menu are gone. I
thank
those who coached me through the fix.
It seems the size of the font in the grub menu is not under my control.
Realistically, there's nothing I/we can do about it. So I'm closing
this thread.
Actually, you can change the grub font size. You need to convert a font
into the format grub understands (.pf2) using grub2-mkfont, then put
a "GRUB_FONT=" entry in your /etc/default/grub file pointing at that
new font and rebuild grub via grub-mkconfig.
----------------------------------------------------------------------
- Rick Stevens, Systems Engineer, AllDigital ricks(a)alldigital.com -
- AIM/Skype: therps2 ICQ: 226437340 Yahoo: origrps2 -
- -
- Politicians are the opposite of pickpockets because you never see -
- them take their hand out of your pocket. -
- -- Larry Fine -
----------------------------------------------------------------------