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    ri...@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          -
----------------------------------------------------------------------
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org

Reply via email to