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.ttfGRUB_FONT=/boot/grub2/DejaVuSansMono.pf2sudo grub2-mkconfig -o /boot/grub2/grub.cfgRozdzielczość 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-mkfonti grub-mkconfigw moim przypadku (chociaż mam grub2).
grub-mkfontpolecenie, otrzymuję:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfonti sudo update-grubdla 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.