La dimensione del carattere di GRUB può essere personalizzata?

33

Vorrei ridurre la dimensione del carattere del boot loader GRUB. È possibile e come?

fonts grub2 framebuffer

— benzoino
fonte

42

Dopo alcune ricerche basate sulle risposte di @fpmurphy e @hesse, anch'esse basate su un thread completo su ubuntuforums e su Fedora Wiki , ho scoperto come ridurre la dimensione del carattere di GRUB2.

Scegli un carattere, in questo esempio ho scelto DejaVuSansMono.ttf
Converti il carattere in un formato che GRUB comprende:
sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
Modifica il file / etc / default / grub aggiungendo una riga:
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
Aggiorna la configurazione di GRUB con:
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
riavvio.

La risoluzione del display GRUB può anche influenzare la dimensione del carattere, più sulla risoluzione ecc. Sul link ubuntuforums sopra.

— benzoino
fonte

5

Questo è figo. Con una dimensione di 36 px, il bootloader sembra finalmente bello su un display ad alta risoluzione. Funziona anche con grub ( grub-mkfont) invece di grub2.

— BurninLeo,

4

Grazie! grub-mkfonte grub-mkconfignel mio caso (anche se ho grub2).

— Deleplace

quando provo ad eseguire il grub-mkfontcomando ottengo:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph

— Aaron N. Brock,

1

grub-mkfonte sudo update-grubper me su Ubuntu. Perfetto per schermi HiDPI / 4k

— aidan il

1

Sul sistema UEFI si userebbegrub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg

— scrutari il

5

Sì, è possibile personalizzare sia il carattere sia la dimensione del carattere. Vedi l'utilità grub-mkfont. Sono supportati i caratteri Bitmap (.pf2) e Truetype (.ttf).

Basta fare una ricerca su Internet su grub-mkfont e ti imbatterai rapidamente in una serie di esempi dei passaggi necessari.

— fpmurphy
fonte

1

Bene, in effetti ho trovato questa documentazione, ma in qualche modo devo update-grub, quale comando non sembra avere su Fedora 16 (?).

— Benjamin,

OK, vedo altrove l'equivalente di update-grub grub2-mkconfig -o /boot/grub2/grub.cfg.

— Benjamin,

4

In Debian / Ubuntu puoi cambiare la risoluzione predefinita di GRUB, risultando in questo modo caratteri più grandi nel menu di GRUB:

sudo cp -a / etc / default / grub /etc/default/grub.bak
sudo vi / etc / default / grub
Modifica la voce "GRUB_GFXMODE" in base alla tua risoluzione, ad es. 800x600
sudo update-grub
Riavvio: GRUB verrà visualizzato nella modalità impostata, ad es. 800x600

— arunk
fonte

1

Dovrebbe essere sudo update-grub- almeno sul mio Ubuntu 17.10.

— Alan Mimms

1

Hai ragione è update-grub. Riga 4 aggiornata di conseguenza.

— arunk

Questo tipo di funzionamento funziona a livello di grub, ma anche il mio display X ha una dimensione di 800x600, urgh. (Scheda video Intel, driver FBDEV, OpenSUSE Leap 15.0)

— David Faure,

1

Se stai cercando un'alternativa alla GUI più semplice, puoi utilizzare Grub Customiser per modificare la dimensione del carattere, i colori e lo sfondo di GRUB.

— Juan C. Roldán
fonte