Answers:
在基于@fpmurphy和@hesse的答案进行了一些研究之后,还基于ubuntuforums和Fedora Wiki上的综合主题,我发现了如何减小GRUB2的字体大小。
sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
GRUB显示的分辨率也可能会影响字体的大小,以及上面的ubuntuforums链接上的分辨率等更多信息。
grub-mkfont
而grub-mkconfig
在我的情况(虽然我有GRUB2)。
grub-mkfont
命令时,我得到:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfont
和sudo update-grub
我在Ubuntu。非常适合HiDPI / 4k屏幕
grub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
在Debian / Ubuntu中,您可以更改默认的GRUB分辨率,从而在GRUB菜单上产生更大的字体:
sudo update-grub
-至少在我的Ubuntu 17.10上。
如果您正在寻找更简单的GUI替代方法,则可以使用Grub Customiser来更改GRUB的字体大小,颜色和背景。
grub-mkfont
)代替grub2。