Odpowiedzi:
Po kilku badaniach opartych na odpowiedziach @fpmurphy i @hesse, również opartych na obszernym wątku na ubuntuforums i na Fedorze Wiki , dowiedziałem się, jak zmniejszyć rozmiar czcionki 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
Rozdzielczość wyświetlacza GRUB może również wpływać na rozmiar czcionki, więcej na temat rozdzielczości itp. Na powyższym linku ubuntuforums.
grub-mkfont
i grub-mkconfig
w moim przypadku (chociaż mam grub2).
grub-mkfont
polecenie, otrzymuję:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfont
i sudo update-grub
dla mnie na Ubuntu. Idealny dla HiDPI / 4k ekranów
grub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
Tak, zarówno czcionkę, jak i rozmiar czcionki można dostosować. Zobacz narzędzie grub-mkfont. Obsługiwane są czcionki bitmapowe (.pf2) i Truetype (.ttf).
Wystarczy wyszukać w Internecie na grub-mkfont, a szybko natrafisz na kilka przykładów niezbędnych kroków.
update-grub
, jakiego polecenia nie mam na Fedorze 16 (?).
grub2-mkconfig -o /boot/grub2/grub.cfg
.
W Debian / Ubuntu możesz zmienić domyślną rozdzielczość GRUB, dzięki czemu w menu GRUB pojawiają się większe czcionki:
sudo update-grub
- przynajmniej na moim Ubuntu 17.10.
Jeśli szukasz prostszej alternatywy dla GUI, możesz użyć Grub Customiser, aby zmienić rozmiar czcionki, kolory i tło GRUB-a.
grub-mkfont
) zamiast grub2.