3 155
contributi
Guida a GRUB 2: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
→Impostare uno sfondo
Wtf (discussione | contributi) |
Wtf (discussione | contributi) |
||
| Riga 75: | Riga 75: | ||
Ricordarsi di lanciare sempre <code>update-grub</code> per rendere effettive le modifiche.<br /> | Ricordarsi di lanciare sempre <code>update-grub</code> per rendere effettive le modifiche.<br /> | ||
Se per un motivo o per un altro nessuno dei precedenti restituisce un immagine valida grub2 opta per lo sfondo di default. | Se per un motivo o per un altro nessuno dei precedenti restituisce un immagine valida grub2 opta per lo sfondo di default. | ||
=== Personalizzare i colori del menù === | |||
La procedura varia leggermente a seconda che si sia o meno definito uno sfondo personalizzato e/o si abbia installato un ambiente grafico come gnome. | |||
==== Nessuna immagine di sfondo ==== | |||
Qualora non si sia definita alcuna immagine di sfondo per grub è necessario editare il file <code>/etc/grub.d/05_debian_theme</code> e cercare il seguente pezzo di codice: | |||
<pre> | |||
set_default_theme(){ | |||
# Set the traditional Debian blue theme. | |||
echo "${1}set menu_color_normal=cyan/blue" | |||
echo "${1}set menu_color_highlight=white/blue" | |||
} | |||
</pre> | |||
La prima variabile definisce i colori del testo non evidenziato, viceversa la seconda riguarda il testo evidenziato; in entrambi i casi è solo e soltanto il testo interno alla cornice di grub ad essere modificato, tutto il resto non lo è. Per modificare il testo esterno alla cornice serve infatti una terza variabile, ovvero <code>color_normal</code>. | |||
A prescindere dalla variabile considerata si tratta sempre di dichiarare due colori separati dal carattere "/": il primo definisce il colore del testo, il secondo quello del suo sfondo. | |||
L'utente può quindi commentare le due righe relative alle variabili e quindi copiarle per poterle modificare a suo piacimento, ad esempio ottenendo quanto segue: | |||
<pre> | |||
set_default_theme(){ | |||
# Set the traditional Debian blue theme. | |||
#echo "${1}set menu_color_normal=cyan/blue" | |||
#echo "${1}set menu_color_highlight=white/blue" | |||
echo "${1}set menu_color_normal=blue/yellow" | |||
echo "${1}set menu_color_highlight=yellow/blue" | |||
echo "${1}set color_normal=red/green" | |||
} | |||
</pre> | |||
I colori possibili sono: | |||
* ''black''; | * ''black''; | ||
* ''light-gray'' e ''dark-gray''; | * ''light-gray'' e ''dark-gray''; | ||
| Riga 88: | Riga 115: | ||
* ''yellow''; | * ''yellow''; | ||
* ''white''; | * ''white''; | ||
Si noti che usare black come colore di sfondo significa di norma imporre uno sfondo trasparente. | |||
==== Con immagine di sfondo ==== | |||
Per quanto riguarda i colori vale quanto detto al punto precedente. Si fa notare che il nome delle variabili relative al testo contenuto all'interno della cornice di grub cambia, mentre la terza variabile diviene inutilizzabile (non c'è più cioè distinzione tra colore interno ed esterno alla cornice di grub). | |||
===== GNOME NON installato ===== | |||
Cercare in <code>/etc/grub.d/05_debian_theme</code> il seguente pezzo di codice | |||
<pre> | |||
if [ -z "${2}" ] && [ -z "${3}" ]; then | |||
echo " true" | |||
fi | |||
</pre> | |||
e cambiarlo in | |||
<pre> | |||
if [ -z "${2}" ] && [ -z "${3}" ]; then | |||
echo " true" | |||
echo "set color_normal=light-green/black" | |||
echo "set color_highlight=blue/light-green" | |||
fi | |||
</pre> | |||
dove ovviamente l'utente dovrà mettere la combinazione di colori da lui desiderata. | |||
===== GNOME installato ===== | |||
Nel caso sia stato installato un ambiente grafico come gnome è sufficiente editare il file <code>/usr/share/desktop-base/grub_backgorund.sh</code> e cambiare i colori specificati dalle variabili ''<code>/usr/share/desktop-base/grub_background.sh</code> <code>COLOR_NORMAL</code> e <code>COLOR_HIGHLIGHT</code>. | |||
===Cambiare la risoluzione del terminale=== | ===Cambiare la risoluzione del terminale=== | ||