Ответы:
После некоторых исследований, основанных на ответах @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. Поддерживаются растровые (.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.