Introduzione

In questa guida viene descritto un metodo per modificare tema predefinito di GRUB. O aggiungere altri temi.

Immagine di sfondo

Impostazione di un'immagine

1. Fare una ricerca di un'immagine di sfondo con un BrowserWeb, e copiarla.

2. Spostarsi nella cartella dove è stata salvata l'immagine foo.png.

3. Copiare l'immagine prescelta nella cartella /boot/grub/ digitando il comando

    sudo cp foo.png /boot/grub/background.png

4. Aggiornare Grub digitando il comando:

    sudo update-grub

5. Riavviare il sistema per vedere l'immagine foo.png nella schermata di Grub.

Rimuovere l'immagine

Per motivi che la nostra immagine non ci piace più, o vogliamo sostituirla con un altra è consigliato prima rimuovere la precedente immagine foo.png dalla directory /boot/grub.

1. Da terminale scriviamo il comando:

   sudo rm /boot/grub/background.png

2. Aggiungere un'immagine di sfondo nuova, seguire nuovamente la procedura precedente.

Carattere

Modificare formato font

1. Se non fosse già presente creare la directory /boot/grub/fonts, digitare nel terminale il seguente comando:

    sudo mkdir /boot/grub/fonts

2. Aggiungere font alla directory creata, digitare nel terminale il seguente comando:

    sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSans.pf2 --size=20 /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf

Aggiungiamo nella configurazione di GRUB l'utilizzo del font DejaVuSans.pf2

1. Apriamo il file /etc/default/grub, digitare nel terminale il seguente comando:

    sudo nano /etc/default/grub

2. scrivendo in fondo,

   GRUB_FONT="/boot/grub/fonts/DejaVuSans.pf2"

3. Salviamo e chiudiamo il file

4. Digitare nel terminale il seguente comando:

    sudo update-grub

5. Riavviare il sistema per vedere l'effetto nella schermata di Grub.

Modificare colore

Puoi avere 3 colori dei caratteri:

1. Colore del menu, appare come la casella e il colore della linea regolare
2. Colore di evidenziamento del menu, appare dove si trova il cursore come la linea selezionata
3. Colore normale, appare sopra e sotto la casella

Esecuzione

1. Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/grub.d/05_debian_theme oppure digitare il comando:

   sudo nano /etc/grub.d/05_debian_theme

2. Cercare la riga:

   echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"

3. Aggiungere di seguito queste tre righe, impostando pel primo il colore di primo piano e pel secondo il colore di sfondo, come dalla seguente tabella:

   echo "set color_normal=cyan/black"
   echo "set menu_color_normal=yellow/black"
   echo "set menu_color_highlight=red/black"

4. Salvare il file

5. Digitare nel terminale il seguente comando:

    sudo update-grub

6. Riavviare il sistema per vedere l'effetto nella schermata di Grub.

Tabella colori usabili

Installazione altri temi

1. Scaricare da qui un tema

2. Decomprimere il file archivio del tema scaricato con il punto precedente

3. Copiare il tema scompattato da un terminale dando questo comando:

    sudo cp /''percorso_tema_decompresso''/''nome_tema'' /usr/share/grub/themes/''nome_tema''

Ora, aggiorniamo il menu GRUB, come da seguente comando, modifichiamo il file /etc/default/grub

1. Da terminale aprire il file :

   sudo gedit /etc/default/grub

   scrivendo in fondo,

   GRUB_THEME="/usr/share/grub/themes/''nome_tema''/theme.txt

   Salviamo e chiudiamo il file.

Al punto successivo, aggiorniamo il file contenente la configurazione GRUB

1. Da terminale scrivere il comando:

   sudo grub-mkconfig -o /boot/grub/grub.cfg

2. Riavviare il sistema.

CategoryHomepage