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.
- Wybierz czcionkę, w tym przykładzie wybrałem DejaVuSansMono.ttf
- Konwertuj czcionkę w formacie, który rozumie GRUB:
sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
- Edytuj plik / etc / default / grub , dodając wiersz:
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
- Zaktualizuj konfigurację GRUB za pomocą:
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
- restart.
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
) zamiast grub2.grub-mkfont
igrub-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
isudo update-grub
dla mnie na Ubuntu. Idealny dla HiDPI / 4k ekranówgrub2-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.
źródło
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:
źródło
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.
źródło