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.ttfGRUB_FONT=/boot/grub2/DejaVuSansMono.pf2sudo 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-mkfontvà grub-mkconfigtrong trường hợp của tôi (mặc dù tôi có grub2).
grub-mkfontlệnh tôi nhận được:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
grub-mkfontvà sudo update-grubcho 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.