Câu trả lời:
Sau một số nghiên cứu dựa trên câu trả lời của @fpmurphy và @hesse, cũng dựa trên một chủ đề toàn diện tại ubuntuforums và trên Fedora Wiki , tôi đã tìm ra cách giảm kích thước phông chữ của 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
Độ phân giải của màn hình GRUB cũng có thể ảnh hưởng đến kích thước của phông chữ, nhiều hơn về độ phân giải, v.v. trên liên kết ubuntuforums ở trên.
grub-mkfont
và grub-mkconfig
trong trường hợp của tôi (mặc dù tôi có grub2).
grub-mkfont
lệnh tôi nhận được:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfont
và sudo update-grub
cho tôi trên Ubuntu. Hoàn hảo cho màn hình HiDPI / 4k
grub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
Có, cả phông chữ và kích thước phông chữ đều có thể được tùy chỉnh. Xem tiện ích grub-mkfont. Các phông chữ Bitmap (.pf2) và Truetype (.ttf) được hỗ trợ.
Chỉ cần thực hiện tìm kiếm trên Internet trên grub-mkfont và bạn sẽ nhanh chóng bắt gặp một số ví dụ về các bước cần thiết.
update-grub
, lệnh mà tôi dường như không có trên Fedora 16 (?).
Trong Debian / Ubuntu, bạn có thể thay đổi độ phân giải GRUB mặc định, do đó dẫn đến phông chữ lớn hơn trên menu GRUB:
sudo update-grub
- ít nhất là trên Ubuntu 17.10 của tôi.
Nếu bạn đang tìm kiếm một thay thế GUI đơn giản hơn, bạn có thể sử dụng Grub Customiser để thay đổi kích thước phông chữ, màu sắc và nền của GRUB.
grub-mkfont
) thay vì grub2.