Відповіді:
Після деяких досліджень, заснованих на відповідях @fpmurphy та @hesse, також на основі всеосяжної нитки в ubuntuforums та 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.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. Підтримуються шрифти Bitmap (.pf2) і Truetype (.ttf).
Просто виконайте пошук в Інтернеті на grub-mkfont, і ви швидко натрапите на ряд прикладів необхідних кроків.
update-grubякої команди, здається, немає Fedora 16 (?).
grub2-mkconfig -o /boot/grub2/grub.cfg.
У Debian / Ubuntu ви можете змінити роздільну здатність GRUB за замовчуванням, в результаті чого у меню GRUB з'являються більші шрифти:
sudo update-grub- принаймні на моєму Ubuntu 17.10.
Якщо ви шукаєте більш просту альтернативу графічного інтерфейсу, ви можете скористатися програмою Grub Customiser, щоб змінити розмір шрифту, кольори та фон GRUB.
grub-mkfont) замість grub2.