Bisakah ukuran font GRUB disesuaikan?

33

Saya ingin mengurangi ukuran font boot loader GRUB. Apakah mungkin dan bagaimana caranya?

fonts grub2 framebuffer Benjamin
sumber

Jawaban:

42

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.

  1. Pilih font, dalam contoh ini saya memilih DejaVuSansMono.ttf
  2. Konversi font dalam format yang dipahami GRUB:
    sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
  3. Edit file / etc / default / grub menambahkan baris:
    GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
  4. Perbarui konfigurasi GRUB dengan:
    sudo grub2-mkconfig -o /boot/grub2/grub.cfg
  5. reboot

Resolusi layar GRUB juga dapat memengaruhi ukuran font, lebih banyak pada resolusi, dll. Pada tautan ubuntuforums di atas.

Benjamin
sumber
5
Itu keren. Dengan ukuran 36px, bootloader akhirnya terlihat bagus di layar beresolusi tinggi. Bekerja juga dengan grub ( grub-mkfont), bukannya grub2.
BurninLeo
4
Terima kasih! grub-mkfontdan grub-mkconfigdalam kasus saya (meskipun saya punya grub2).
Deleplace
ketika saya mencoba menjalankan grub-mkfontperintah saya mendapatkan:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
Aaron N. Brock
1
grub-mkfontdan sudo update-grubuntuk saya di Ubuntu. Sempurna untuk layar HiDPI / 4k
aidan
1
Pada sistem UEFI kita akan menggunakangrub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
scrutari
5

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.

fpmurphy
sumber
1
Bagus memang saya menemukan dokumentasi ini tetapi entah bagaimana saya perlu update-grub, perintah yang sepertinya tidak saya miliki di Fedora 16 (?).
Benjamin
OK, saya melihat di tempat lain setara dengan update-grub grub2-mkconfig -o /boot/grub2/grub.cfg.
Benjamin
4

Di Debian / Ubuntu Anda dapat mengubah resolusi GRUB default, sehingga menghasilkan font yang lebih besar pada menu GRUB:

  1. sudo cp -a / etc / default / grub /etc/default/grub.bak
  2. sudo vi / etc / default / grub
  3. Edit entri "GRUB_GFXMODE" yang sesuai dengan resolusi Anda, misalnya 800x600
  4. sudo perbarui-grub
  5. Reboot - GRUB akan ditampilkan dalam mode yang Anda atur misalnya 800x600
arunk
sumber
1
Seharusnya sudo update-grub- setidaknya di Ubuntu 17.10 saya.
Alan Mimms
1
Anda benar itu pembaruan-grub. Baris 4 diperbarui sesuai.
arunk
Jenis ini berfungsi pada level grub, tetapi kemudian tampilan X saya juga memiliki ukuran 800x600, urgh. (Intel videocard, driver FBDEV, OpenSUSE Leap 15.0)
David Faure
1

Jika Anda mencari alternatif GUI yang lebih sederhana, Anda dapat menggunakan Grub Customiser untuk mengubah ukuran font, warna, dan latar belakang GRUB.

Juan C. Roldán
sumber