Jawaban:
Setelah beberapa penelitian berdasarkan jawaban @fpmurphy dan @hesse, juga berdasarkan utas komprehensif di ubuntuforums dan pada Fedora Wiki , saya menemukan cara mengurangi ukuran font 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
Resolusi layar GRUB juga dapat memengaruhi ukuran font, lebih banyak pada resolusi, dll. Pada tautan ubuntuforums di atas.
grub-mkfont
dan grub-mkconfig
dalam kasus saya (meskipun saya punya grub2).
grub-mkfont
perintah saya mendapatkan:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfont
dan sudo update-grub
untuk saya di Ubuntu. Sempurna untuk layar HiDPI / 4k
grub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
Ya, font dan ukuran font dapat disesuaikan. Lihat utilitas grub-mkfont. Font Bitmap (.pf2) dan Truetype (.ttf) didukung.
Lakukan saja pencarian Internet di grub-mkfont dan Anda akan dengan cepat menemukan sejumlah contoh langkah-langkah yang diperlukan.
update-grub
, perintah yang sepertinya tidak saya miliki di Fedora 16 (?).
grub2-mkconfig -o /boot/grub2/grub.cfg
.
Di Debian / Ubuntu Anda dapat mengubah resolusi GRUB default, sehingga menghasilkan font yang lebih besar pada menu GRUB:
sudo update-grub
- setidaknya di Ubuntu 17.10 saya.
Jika Anda mencari alternatif GUI yang lebih sederhana, Anda dapat menggunakan Grub Customiser untuk mengubah ukuran font, warna, dan latar belakang GRUB.
grub-mkfont
), bukannya grub2.