On 12/20/18 10:04 AM, home user via users wrote:
> (Rick said)
>> Actually, you can change the grub font size. You need to convert a
>> font into the format grub understands (.pf2) using grub2-mkfont, ...
>
> 1. How can I determine what font is currently being used? /etc/grub2.cfg
> mentions "unicode.pf2", but the Fonts tool finds no font with a name
> containing "unicode".
The font(s) used by grub2 shouldbe located in /boot/grub2/fonts
[root@prophead ~]# ls -l /boot/grub2/fonts
total 1316
-rw-r--r--. 1 root root 1343654 Oct 18 2016 unicode.pf2
> 2. How do I get a correct "FONT_FILES" parameter value? I don't see
> these in the "Fonts" tool.
FONT_FILES in the man page just represents where the source font file is
located. For example, to convert the FreeSans.ttf font (which is located
in /usr/share/fonts/gnu-free) into a 24-point font grub2 can grok called
"newfont.pf2":
grub2-mkfont -o /tmp/newfont.pf2 --size=24 \
/usr/share/fonts/gnu-free/FreeSans.ttf
Then move/copy the file created to /boot/grub2/fonts:
cp /tmp/newfont.pf2 /boot/grub2/fonts
And put the name of the file into the GRUB_FONT option:
GRUB_FONT=newfont.pf2
That oughta do it.
----------------------------------------------------------------------
- Rick Stevens, Systems Engineer, AllDigital ri...@alldigital.com -
- AIM/Skype: therps2 ICQ: 226437340 Yahoo: origrps2 -
- -
- Dyslexics of the world: UNTIE! -
----------------------------------------------------------------------
_______________________________________________
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
