回答:
@fpmurphyと@hesseの回答に基づいていくつかの研究の後、またの包括的なスレッドをもとにubuntuフォーラムと上の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
はい、フォントとフォントサイズの両方をカスタマイズできます。grub-mkfontユーティリティを参照してください。ビットマップ(.pf2)およびTruetype(.ttf)フォントがサポートされています。
grub-mkfontでインターネット検索を行うと、必要な手順の例がすぐに見つかります。
Debian / Ubuntuでは、デフォルトのGRUB解像度を変更できるため、GRUBメニューのフォントが大きくなります。
sudo update-grub
-少なくとも私のUbuntu 17.10では。
よりシンプルなGUIの代替を探している場合は、Grub Customiserを使用できます。を、GRUBのフォントサイズ、色、背景を変更。
grub-mkfont
grub2の代わりにgrub()でも動作します。