Wiki Ubuntu-it

Indice
Partecipa
FAQ
Wiki Blog
------------------
Ubuntu-it.org
Forum
Chiedi
Chat
Cerca
Planet
  • Pagina non alterabile
  • Informazioni
  • Allegati
  • Differenze per "AmministrazioneSistema/Grub/Temi"
Differenze tra le versioni 14 e 25 (in 11 versioni)
⇤ ← Versione 14 del 28/05/2021 10.02.25 →
Dimensione: 11833
Autore: ivantu
Commento:
← Versione 25 del 25/03/2025 19.42.36 → ⇥
Dimensione: 11003
Autore: andreas-xavier
Commento: copia da ivantu/grub_modifica-temi
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
Linea 2: Linea 2:
## page upgraded by wilecoyote
Linea 7: Linea 8:
<<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t=642025"; rilasci="21.04 20.10 20.04 18.04 16.04 14.04")>> <<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t=642025"; rilasci="24.04 22.04")>>
Linea 10: Linea 12:
Questa guida descrive le procedure per creare, modificare, o installare i temi grafici e i menù testuali dello sfondo per il [[http://it.wikipedia.org/wiki/Boot_loader|boot loader]] '''[[AmministrazioneSistema/Grub|GRUB]]'''. Questa guida descrive le procedure per creare, modificare o installare i temi grafici e i menù testuali dello sfondo per il [[http://it.wikipedia.org/wiki/Boot_loader|boot loader]] '''[[AmministrazioneSistema/Grub|GRUB]]'''.

'''GRUB''' permette di configurare sia il tipo di carattere che i colori e sfondi usati. Di seguito viene mostrato come configurare entrambe le caratteristiche.
Linea 14: Linea 18:
Il '''Grub''' permette di configurare sia il tipo di carattere che i colori usati, nel seguito viene mostrato come configurare entrambe le caratteristiche.

== Personalizzare famiglia caratteri ==		 Nel menù testuale possono essere personalizzati sia la famiglia e la dimensione dei caratteri, sia il colore generale delle voci che quello di evidenziazione della voce selezionata.

<<Anchor(carattere)>>
= Personalizzare famiglia caratteri =
Linea 20: Linea 25:
=== Convertire formato caratteri ===

 0. [[AmministrazioneSistema/ComandiBase#find|Scegliere]] una famiglia di caratteri tra quelle installate nel sistema, digitando il comando:{{{
find /usr/share/fonts -name '*.ttf'
}}}{{{#!wiki note
Nel seguente esempio è stata scelta la famiglia di caratteri `DejaVuSans.ttf` della dimensione di ''20 px''.
}}}
 0. Se assente creare la directory '''/boot/grub/fonts''', digitando il seguente comando:{{{
sudo mkdir /boot/grub/fonts}}}
 0. Convertire e allocare la famiglia di caratteri scelti nella directory `/boot/grub/fonts`, digitando il seguente comando:{{{
 sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSans.pf2 --size=20 /usr/share/fonts/truetype/dejavu/DejaVuSans.ttf
}}}

=== Integrazione nella configurazione ===

 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`.
 0. Aggiungere in fondo dopo una linea vuota le stringhe:{{{		 == Convertire e ridimensionare formato caratteri menù ==

Per rendere più leggibili le scritte del menù di '''Grub''', talvolta potrebbe essere necessario ridimensionare il carattere o sceglierne un altro.

Date però le limitate prestazioni pre-avvio dell'applicazione, i file `font` devono essere forniti nello specifico formato `.pf2`. Vanno quindi convertiti i caratteri disponibili tramite i comuni formati come `.otf` o `.ttf`.

Ricordare che la schermata del menù di '''Grub''' ha le proprietà grafiche del terminale, perciò occorre scegliere dei font a spaziatura fissa, contraddistinti dalla presenza nel nome del termine ''mono''.

 0. Individuare nel sistema i file `font` a spaziatura fissa disponibili con il comando:{{{
find /usr/share/fonts/ -type f -iname "*mono*"
}}} Occorre scegliere solo tra i font con indicato nel nome ''Regular'', la sola ''R'' o nessuna indicazione (gli altri tipi possono creare degli artefatti grafici nel menù). Di seguito viene usato ''!UbuntuMono-R''.
 0. Convertire il font scelto al formato `.pf2` e allocarlo nella cartella `boot` con il comando:{{{
sudo grub-mkfont -s 28 -o /boot/grub/ubuntumono-r.pf2 /usr/share/fonts/truetype/ubuntu/UbuntuMono-R.ttf
}}}

{{{#!wiki note
Se il menù dovesse apparire più piccolo o più grande del desiderato, si dovrà ripetere la procedura cambiando sperimentalmente il parametro `«28»` indicante la dimensione del font nel comando.<<BR>>
Per cambiare il font selezionato si dovrà ripetere la procedura scegliendone un altro.
}}}

== Integrazione nella configurazione ==

 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione/ApplicazioniGrafiche|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`.
 0. Aggiungere in fondo dopo una riga vuota le stringhe:{{{
Linea 38: Linea 50:
GRUB_FONT="/boot/grub/fonts/DejaVuSans.pf2" GRUB_FONT="/boot/grub/ubuntumono-r.pf2"
Linea 41: Linea 53:
 0. Aggiornare '''Grub''' digitando il comando:{{{  0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{
Linea 46: Linea 58:
== Personalizzare i colori ==

La schermata del menù testuale e suddivisa in tre diverse parti, in ciascuna si può impostare un colore di primo piano e un colore di sfondo personale.		 <<Anchor(colore)>>
= Personalizzare i colori =
Linea 53: Linea 64:
||||<tablestyle="width:40%;" rowstyle="background-color: #cccccc;" >'''Tabella dei colori'''||
||<rowstyle="background-color: #dddddd;":> '''Nome colore''' ||<50%:>'''Colore''' ||
||<style="background-color: #f7f7f7;":> '''black''' ||<style="background-color: #000000;"> ||
||<style="background-color: #f7f7f7;":> '''gray''' ||<style="background-color: #808080;"> ||
||<style="background-color: #f7f7f7;":> '''blue''' ||<style="background-color: #0000FF;"> ||
||<style="background-color: #f7f7f7;":> '''brown''' ||<style="background-color: #800000;"> ||
||<style="background-color: #f7f7f7;":> '''cyan''' ||<style="background-color: #00FFFF;"> ||
||<style="background-color: #f7f7f7;":> '''green''' ||<style="background-color: #00FF00;"> ||
||<style="background-color: #f7f7f7;":> '''magenta''' ||<style="background-color: #FF00FF;"> ||
||<style="background-color: #f7f7f7;":> '''yellow''' ||<style="background-color: #FFFF00;"> ||
||<style="background-color: #f7f7f7;":> '''white''' ||<style="background-color: #FFFFFF;"> ||
||<style="background-color: #f7f7f7;":> '''red''' ||<style="background-color: #FF0000;"> ||
||<style="background-color: #f7f7f7;":> '''light-gray''' ||<style="background-color: #C0C0C0;"> ||
||<style="background-color: #f7f7f7;":> '''light-blue''' ||<style="background-color: #0080FF;"> ||
||<style="background-color: #f7f7f7;":> '''light-cyan''' ||<style="background-color: #80FFFF;"> ||
||<style="background-color: #f7f7f7;":> '''light-green''' ||<style="background-color: #80FF00;"> ||
||<style="background-color: #f7f7f7;":> '''light-magenta''' ||<style="background-color: #FF80FF;"> ||
||<style="background-color: #f7f7f7;":> '''light-red''' ||<style="background-color: #FF8080;"> ||

{{{#!wiki note
I colori mostrati in tabella sono indicativi, quelli realmente mostrati nel menù di Grub dipendono, tra l'altro, dalla resa grafica dello schermo e della scheda grafica, illuminazione dell'ambiente di lavoro, ora del giorno, proprie condizioni psicofisiche, ecc.
}}}

<<Anchor(colore)>>		 ||||<tablestyle="width:70%;">'''Tabella dei colori'''||
||<:> '''Nome''' ||<21%:>'''Colore'''||||<:> '''Nome''' ||<21%:>'''Colore'''||
|| black ||<#000000>|||| white ||<#FFFFFF>||
|| gray ||<#808080>|||| red ||<#FF0000>||
|| blue ||<#0000FF>|||| light-gray ||<#C0C0C0>||
|| brown ||<#800000>|||| light-blue ||<#0080FF>||
|| cyan ||<#00FFFF>|||| light-cyan ||<#80FFFF>||
|| green ||<#00FF00>|||| light-green ||<#80FF00>||
|| magenta ||<#FF00FF>|||| light-magenta ||<#FF80FF>||
|| yellow ||<#FFFF00>|||| light-red ||<#FF8080>||


{{{#!wiki note
I colori mostrati in tabella sono indicativi. Quelli realmente mostrati nel menù di Grub dipendono da vari fattori: resa grafica dello schermo e della scheda grafica, illuminazione dell'ambiente di lavoro, ora del giorno, proprie condizioni psicofisiche, ecc.
}}}
Linea 79: Linea 82:
Esistono le tre seguenti voci, come da tabella:

||<tablestyle="width:80%;" rowstyle="background-color: #cccccc;" :60%>'''Stringa''' ||<:40%>'''Uso''' ||
||<#f7f7f7> '''menu_color_highlight=colore primo piano/colore sfondo''' || Colore testo e sfondo della voce selezionata ||
||<#f7f7f7> '''menu_color_normal=colore primo piano/colore sfondo''' || Colore testo e sfondo delle voci non selezionate ||
||<#f7f7f7> '''color_normal=colore primo piano/colore sfondo''' || Colore testo e sfondo al di fuori della cornice ||

== Esecuzione ==

 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/grub.d/05_debian_theme`;
 0. Fare clic su '''Ctrl+F''' e cercare la riga:{{{
echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"
}}}
 0. Aggiungere sotto queste tre righe:{{{
echo "${1}set color_normal=colore primo piano/colore sfondo"
echo "${1}set menu_color_normal=colore primo piano/colore sfondo"
echo "${1}set menu_color_highlight=colore primo piano/colore sfondo"
}}}
 0. Impostare i colori desiderati usando i nomi della seguente [[#colori|tabella]];
 0. Salvare il file cambiando il nome in `/etc/grub.d/06_custom_theme`;
 0. [[AmministrazioneSistema/PermessiFile#Assegnare_i_permessi_di_esecuzione|Dare i permessi]] d'esecuzione al file `/etc/grub.d/06_custom_theme`;
 0. Aggiornare '''Grub''' digitando il comando:{{{
sudo update-grub
}}}
 0. Riavviare il sistema per vedere il risultato nella schermata di '''Grub'''.		  0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione/ApplicazioniGrafiche|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/grub.d/05_debian_theme`.
 0. Cercare il seguente testo (nei principali editor con gui è sufficiente usare la combinazione di tasti '''Ctrl+F'''):{{{
# Set a monochromatic theme
}}}
 0. Commentare con il carattere '''#''' le due seguenti righe:{{{
# echo "${1}set menu_color_normal=white/black"
# echo "${1}set menu_color_highlight=black/light-gray"
}}}
 0. Premere la combinazione di tasti '''Ctrl+F''' e cercare il seguente testo{{{
if [ -z "${2}" ] && [ -z "${3}" ]; thee
}}}
 0. Commentare col carattere '''#''' la seguente riga:{{{
# echo " true"
}}}
 0. Aggiungere le due seguenti righe:{{{
echo " set color_highlight=«colore»/l«colore»"
echo " set color_normal=«colore»/«tinta»"
}}}
 0. [[#colori|Impostare i colori]] desiderati `«colore»`, per `«tinta»` impostare a '''black''' se si usa [[#sfondo|un'immagine di sfondo]] altrimenti il colore desiderato.
 0. Salvare il file dando il nome `/etc/grub.d/06_custom_theme` e chiudere il file.
 0. [[AmministrazioneSistema/PermessiFile#Assegnare_i_permessi_di_esecuzione|Assegnare i permessi d'esecuzione]] con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] al file `/etc/grub.d/06_custom_theme`.
 0. [[AmministrazioneSistema/PermessiFile#chmod|Revocare i permessi d'esecuzione]] con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] al file `/etc/grub.d/05_debian_theme`.
 0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando il comando:{{{
sudo update-grub
}}}

Le modifiche apportate saranno visibili nella schermata di '''Grub''' al successivo riavvio.
Linea 106: Linea 111:
Tutti i file nella directory `/etc/grub.d/`, vengono eseguiti in ordine numerico. Se sono presenti due file di tema, `05_debian_theme` e `06_custom_theme` , il secondo viene eseguito successivamente, permettendo di mantenere intonso il primo.
}}}

{{{#!wiki note
Il nome del file in `06_custom_theme` è un esempio generico, si può usare il nome che si preferisce purché si mantenga la struttura base del nome del file `0×_<nome scelto>_theme`, sostituendo il `×` con un numero da 6 a 9 e <nome scelto> con uno a piacere senza spazi interposti.
}}}

= Menù con immagine di sfondo =		 Tutti i file nella directory `/etc/grub.d/` vengono eseguiti in ordine numerico. Se sono presenti due file di tema, `05_debian_theme` e `06_custom_theme`, il secondo viene eseguito successivamente, permettendo di mantenere intatto il primo.
}}}

{{{#!wiki note
Il nome del file in `06_custom_theme` è un esempio generico. Si può usare il nome che si preferisce purché si mantenga la struttura base del nome del file `0×_<nome scelto>_theme`, sostituendo `×` con un numero da 6 a 9 e `<nome scelto>` con uno a piacere senza spazi interposti.
}}}


= Immagine di sfondo =
Linea 117: Linea 123:
L'immagine di sfondo è consigliato sia in formato `.tga`, altresì sono pure supportate immagini nei formati `.jpg`, `.jpeg` e `.png`.

Si consiglia di utilizzare una risoluzione d'immagine uguale alla risoluzione del monitor.

In tutti i casi per visualizzare l'immagine di sfondo è indispensabile porre a '''black''' il colore dello sfondo delle impostazioni '''set color_normal=colore primo piano/black''' e '''set menu_color_normal=colore primo piano/black''' nel [[#colore|menù testuale]].

{{{#!wiki note
Nel prosieguo si farà riferimento all'immagine col nome generico `foo.tga`.
}}}		 Sono consigliate le immagini di sfondo in formato `.tga`, ma sono anche supportate immagini nei formati `.jpg`, `.jpeg` e `.png`.

Si consiglia di utilizzare un'immagine con risoluzione pari al monitor.

<<Anchor(sfondo)>>
In tutti i casi per visualizzare l'immagine di sfondo è indispensabile porre a '''black''' il colore dello sfondo dei caratteri non selezionati.

{{{#!wiki note
Di seguito si farà riferimento all'immagine col nome generico `foo.tga`.
}}}

= Recupero immagine =
Linea 130: Linea 139:
 0. [[https://wiki.ubuntu-it.org/AmministrazioneSistema/ComandiBase#ls|Visualizzare]] i nomi delle immagini installate digitando il comando:{{{  0. [[AmministrazioneSistema/ComandiBase#ls|Visualizzare]] i nomi delle immagini installate digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{
Linea 133: Linea 142:
 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`.
 0. Digitare il nome dell'immagine scelta nella linea ''GRUB_BACKGROUND=""'':{{{
GRUB_BACKGROUND="/usr/share/images/grub/<nome.tga>
}}}
 0. Salvare e chiudere il file `/etc/default/grub`.
 0. Aggiornare '''Grub''' digitando il comando:{{{
sudo update-grub
}}}
 0. Riavviare il sistema per vedere il menù coll'immagine di sfondo.

== Immagine da rete ==

 0. [[AmbienteGrafico/AvviareProgrammi|Avviare]] il [[InternetRete/Navigazione#Browser_per_navigare| browser]] e cercare l'immagine di sfondo gradita.		  0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] l'immagine `«nome-immagine»` nella cartella `/boot/grub`:{{{
sudo cp /usr/share/images/grub/«nome-immagine».tga /boot/grub
}}}
 0. [[#colore|Impostare i colori]] in modo da risultare visibili rispetto lo sfondo.
 0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando il comando:{{{
sudo update-grub
}}}
 0. Riavviare il sistema per vedere l'immagine `foo.tga` nella schermata di '''Grub'''

== Immagine da Internet ==

 0. Salvare un'immagine di sfondo gradita.
Linea 147: Linea 155:
 0. [[AmministrazioneSistema/ComandiBase#mkdir|Creare la cartella specchio]] in cui allocare l'immagine:{{{
sudo mkdir -p /usr/local/share/images/grub
}}}
 0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] l'immagine nella cartella creata:{{{
sudo cp foo.tga /usr/local/share/images/grub
}}}<<Anchor(cambio)>>
 0. [[https://wiki.ubuntu-it.org/AmministrazioneSistema/ComandiBase#ln|Collegare staticamente]] l'immagine alla cartella di sistema:{{{
sudo ln -s /usr/local/share/images/grub/foo.tga /usr/share/images/grub
}}}
 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`.
 0. Digitare il nome dell'immagine scelta alla linea ''GRUB_BACKGROUND=""'':{{{
GRUB_BACKGROUND="/usr/share/images/grub/foo.tga
}}}
 0. Salvare e chiudere il file `/etc/default/grub`.
 0. Aggiornare '''Grub''' digitando il comando:{{{		  0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] l'immagine nella cartella `/boot/grub`:{{{
sudo cp foo.tga /boot/grub
}}}
 0. [[#colore|Impostare i colori]] in modo da risultare visibili rispetto lo sfondo.
 0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando il comando:{{{
Linea 166: Linea 164:
{{{#!wiki note
L'uso della cartella specchio serve per evitare che un eventuale aggiornamento possa cancellare l'immagine.
Se dopo un aggiornamento l'immagine non venisse visualizzata, basterà ridare il comando del collegamento statico e aggiornare '''Grub''' per ripristinare la visione.
}}}
Linea 173: Linea 166:
Per sostituire l'immagine di sfondo è sufficiente [[#cambio|modificare]] il nome dell'immagine e aggiornare '''Grub'''.

= Installazione altri temi =

{{{#!wiki note
Installando temi di terze parti le impostazioni predefinite di '''Grub''' saranno sovrascritte.
}}}

 0. Scaricare il tema desiderato da [[https://www.gnome-look.org/browse/cat/109/order/latest/|questo indirizzo]] o [[https://store.kde.org/browse/cat/109/order/latest?tag=grub-theme|quest'altro indirizzo]], in una cartella della propria '''Home''';
 0. [[AmministrazioneSistema/ComandiBase#cd|Spostarsi]] nella cartella dove è stato scaricato il tema come archivio compresso;
 0. [[AmministrazioneSistema/FormatiDiCompressione#decomprimere|Estrarre]] il tema decompresso.
 0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] il tema decompresso nel sistema:{{{
sudo cp <nome_tema> /usr/share/grub/themes
}}}
 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`;
 0. Aggiungere in fondo questa riga:{{{
GRUB_THEME="/usr/share/grub/themes/<nome_tema>/theme.txt
}}}
 0. Salvare e chiudere il file;
 0. Aggiornare '''Grub''' digitando il comando:{{{
sudo update-grub
}}}
 0. Riavviare il sistema per vedere il risultato nella schermata di '''Grub'''.

{{{#!wiki note
Presumere il ''percorso_tema_decompresso'' sia nella $HOME utente.
Il ''nome_tema'' è il nome archivio scaricato
}}}		 Per sostituire l'immagine di sfondo è sufficiente [[#cambio|modificare]] il nome dell'immagine e [[AmministrazioneSistema/Grub#Comandi|aggiornare Grub]].


## = Installazione altri temi =

## {{{#!wiki note
## Installando temi di terze parti le impostazioni predefinite di '''Grub''' saranno sovrascritto.
## }}}

## 0. Scaricare il tema desiderato in una cartella della propria '''Home''' (molti sono disponibili da [[https://www.gnome-look.org/browse/cat/109/order/latest/|questo indirizzo]] o [[https://store.kde.org/browse/cat/109/order/latest?tag=grub-theme|quest'altro]].
## 0. [[AmministrazioneSistema/ComandiBase#cd|Spostarsi]] nella cartella dove è stato scaricato il tema come archivio compresso.
## 0. [[AmministrazioneSistema/FormatiDiCompressione#decomprimere|Estrarre]] il tema decompresso.
## 0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] il tema decompresso in `/usr/share/grub/themes`:{{{
## sudo cp -r <nome_tema> /usr/share/grub/themes/
## }}}
## sostituendo `<nome_tema>` con il nome effettivo.
## 0. Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`.
## 0. Aggiungere in fondo questa riga:{{{
## GRUB_THEME="/usr/share/grub/themes/<nome_tema>/theme.txt"
## ## }}}
## 0. Salvare e chiudere il file.
## ## 0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{
## sudo update-grub
## }}}
## 0. Riavviare il sistema per vedere il risultato nella schermata di '''Grub'''.
##
##
= Ulteriori risorse =

 * [[https://www.gnome-look.org/browse?cat=109|Temi per Grub]]
 * [[https://store.kde.org/browse?cat=109&ord=latest|Temi per Grub (Kde)]]
 * [[AmministrazioneSistema/GrubCustomizer|Grub Customizer]]



Guida verificata con Ubuntu: 22.04 24.04

Problemi in questa pagina? Segnalali in questa discussione

Introduzione

Questa guida descrive le procedure per creare, modificare o installare i temi grafici e i menù testuali dello sfondo per il boot loader GRUB.

GRUB permette di configurare sia il tipo di carattere che i colori e sfondi usati. Di seguito viene mostrato come configurare entrambe le caratteristiche.

Menù testuale

Nel menù testuale possono essere personalizzati sia la famiglia e la dimensione dei caratteri, sia il colore generale delle voci che quello di evidenziazione della voce selezionata.

Personalizzare famiglia caratteri

Per utilizzare una famiglia di caratteri alternativa in Grub, occorre preventivamente convertirli al formato .pf2 e successivamente aggiornare la configurazione di Grub.

Convertire e ridimensionare formato caratteri menù

Per rendere più leggibili le scritte del menù di Grub, talvolta potrebbe essere necessario ridimensionare il carattere o sceglierne un altro.

Date però le limitate prestazioni pre-avvio dell'applicazione, i file font devono essere forniti nello specifico formato .pf2. Vanno quindi convertiti i caratteri disponibili tramite i comuni formati come .otf o .ttf.

Ricordare che la schermata del menù di Grub ha le proprietà grafiche del terminale, perciò occorre scegliere dei font a spaziatura fissa, contraddistinti dalla presenza nel nome del termine mono.

  1. Individuare nel sistema i file font a spaziatura fissa disponibili con il comando:

    find /usr/share/fonts/ -type f -iname "*mono*"

    Occorre scegliere solo tra i font con indicato nel nome Regular, la sola R o nessuna indicazione (gli altri tipi possono creare degli artefatti grafici nel menù). Di seguito viene usato UbuntuMono-R.

  2. Convertire il font scelto al formato .pf2 e allocarlo nella cartella boot con il comando:

    sudo grub-mkfont -s 28 -o /boot/grub/ubuntumono-r.pf2 /usr/share/fonts/truetype/ubuntu/UbuntuMono-R.ttf

Se il menù dovesse apparire più piccolo o più grande del desiderato, si dovrà ripetere la procedura cambiando sperimentalmente il parametro «28» indicante la dimensione del font nel comando.
Per cambiare il font selezionato si dovrà ripetere la procedura scegliendone un altro.

Integrazione nella configurazione

  1. Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/default/grub.

  2. Aggiungere in fondo dopo una riga vuota le stringhe:

    #Set owner font
GRUB_FONT="/boot/grub/ubuntumono-r.pf2"
  3. Salvare e chiudere il file

  4. Aggiornare Grub digitando nel terminale il comando:

    sudo update-grub

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

Personalizzare i colori

Il menù di Grub riconosce 16 colori differenti, da impostare in inglese come listati nella seguente tabella.

Tabella dei colori

Nome

Colore

Nome

Colore

black

white

gray

red

blue

light-gray

brown

light-blue

cyan

light-cyan

green

light-green

magenta

light-magenta

yellow

light-red

I colori mostrati in tabella sono indicativi. Quelli realmente mostrati nel menù di Grub dipendono da vari fattori: resa grafica dello schermo e della scheda grafica, illuminazione dell'ambiente di lavoro, ora del giorno, proprie condizioni psicofisiche, ecc.

Impostazione dei colori

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

  2. Cercare il seguente testo (nei principali editor con gui è sufficiente usare la combinazione di tasti Ctrl+F):

    # Set a monochromatic theme

  3. Commentare con il carattere # le due seguenti righe:

    # echo "${1}set menu_color_normal=white/black"
# echo "${1}set menu_color_highlight=black/light-gray"

  4. Premere la combinazione di tasti Ctrl+F e cercare il seguente testo

    if [ -z "${2}" ] && [ -z "${3}" ]; thee

  5. Commentare col carattere # la seguente riga:

    # echo "  true"

  6. Aggiungere le due seguenti righe:

    echo "    set color_highlight=«colore»/l«colore»"
echo "    set color_normal=«colore»/«tinta»"

  7. Impostare i colori desiderati «colore», per «tinta» impostare a black se si usa un'immagine di sfondo altrimenti il colore desiderato.

  8. Salvare il file dando il nome /etc/grub.d/06_custom_theme e chiudere il file.

  9. Assegnare i permessi d'esecuzione con i privilegi di amministrazione al file /etc/grub.d/06_custom_theme.

  10. Revocare i permessi d'esecuzione con i privilegi di amministrazione al file /etc/grub.d/05_debian_theme.

  11. Aggiornare Grub digitando il comando:

    sudo update-grub

Le modifiche apportate saranno visibili nella schermata di Grub al successivo riavvio.

Tutti i file nella directory /etc/grub.d/ vengono eseguiti in ordine numerico. Se sono presenti due file di tema, 05_debian_theme e 06_custom_theme, il secondo viene eseguito successivamente, permettendo di mantenere intatto il primo.

Il nome del file in 06_custom_theme è un esempio generico. Si può usare il nome che si preferisce purché si mantenga la struttura base del nome del file 0×_<nome scelto>_theme, sostituendo × con un numero da 6 a 9 e <nome scelto> con uno a piacere senza spazi interposti.

Immagine di sfondo

Le immagini di sfondo possono essere recuperate da pacchetti disponibili nei repository ufficiali, scaricate dalla rete tramite un browser o create in proprio.

Sono consigliate le immagini di sfondo in formato .tga, ma sono anche supportate immagini nei formati .jpg, .jpeg e .png.

Si consiglia di utilizzare un'immagine con risoluzione pari al monitor.

In tutti i casi per visualizzare l'immagine di sfondo è indispensabile porre a black il colore dello sfondo dei caratteri non selezionati.

Di seguito si farà riferimento all'immagine col nome generico foo.tga.

Recupero immagine

Immagine da repository

  1. Installare il pacchetto grub2-splashimages.

  2. Visualizzare i nomi delle immagini installate digitando nel terminale il comando:

    ls /usr/share/images/grub/*

  3. Copiare l'immagine «nome-immagine» nella cartella /boot/grub:

    sudo cp /usr/share/images/grub/«nome-immagine».tga /boot/grub

  4. Impostare i colori in modo da risultare visibili rispetto lo sfondo.

  5. Aggiornare Grub digitando il comando:

    sudo update-grub

  6. Riavviare il sistema per vedere l'immagine foo.tga nella schermata di Grub

Immagine da Internet

  1. Salvare un'immagine di sfondo gradita.

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

  3. Copiare l'immagine nella cartella /boot/grub:

    sudo cp foo.tga  /boot/grub

  4. Impostare i colori in modo da risultare visibili rispetto lo sfondo.

  5. Aggiornare Grub digitando il comando:

    sudo update-grub

  6. Riavviare il sistema per vedere l'immagine foo.tga nella schermata di Grub.

Sostituire l'immagine

Per sostituire l'immagine di sfondo è sufficiente modificare il nome dell'immagine e aggiornare Grub.

Ulteriori risorse

CategoryAmministrazione