Відповіді:
Після деяких досліджень, заснованих на відповідях @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
Так, і шрифт, і розмір шрифту можна налаштувати. Дивіться утиліту 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.