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 ricks(a)alldigital.com -
- AIM/Skype: therps2 ICQ: 226437340 Yahoo: origrps2 -
- -
- Dyslexics of the world: UNTIE! -
----------------------------------------------------------------------