回答:
@fpmurphyと@hesseの回答に基づいていくつかの研究の後、またの包括的なスレッドをもとにubuntuフォーラムと上のFedoraのWiki、私はGRUB2のフォントサイズを小さくする方法を見つけました。
sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttfGRUB_FONT=/boot/grub2/DejaVuSansMono.pf2sudo grub2-mkconfig -o /boot/grub2/grub.cfgGRUBディスプレイの解像度は、上記の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-mkfontgrub2の代わりにgrub()でも動作します。