Dimensione: 1915
Commento: Creata
|
← Versione 24 del 13/08/2024 17.20.47 ⇥
Dimensione: 13088
Commento: correzioni
|
Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
Linea 1: | Linea 1: |
#format wiki #language it [[BR]] [[WikiBanner(ArticoloInTraduzione)]] [[BR]] [[Indice()]] = Theming = '''As of version 1.96 of GRUB 2, theme support is not enabled''' The GRUB graphical menu supports themes that can customize the layout and appearance of the GRUB boot menu. The theme is configured through a plain text file that specifies the layout of the various GUI components (including the boot menu, timeout progress bar, and text messages) as well as the appearance using colors, fonts, and images. Take a look at this thread on [[http://ubuntuforums.org/showthread.php?t=1182436|Grub 2 Themeing]] == Splash Images == This is Colin Bennett's Google Summer of Code project. The [[http://grub.gibibit.com/|GRUB 2 graphical menu project]] aims to create a highly customizable graphical menu system for the GNU GRUB bootloader. Great link [[http://members.iinet.net/~herman546/p20/GRUB2%20Splashimages.html|here.]] == Background Colors/Image == Background colors and images are configured in a script located in '''/etc/grub.d/''' if you look in there you will find a file called '''05_debian_theme''' which is the default color scheme for GRUB 2. Now to create your own color scheme you have a few options, you can copy and edit the default 05_debian_theme or create your own script. All the files in /etc/grub.d/ are run in order, so if you have 2 theme files, 05_debian_theme and 06_mytheme, the latter (06_mytheme) will be run last, which will be the background you see. == Copy/Edit Default Colors == * Copy the default color theme {{{ $ sudo cp /etc/grub.d/05_debian_theme /etc/grub.d/05_debian_theme.BACKUP $ sudo nano /etc/grub.d/05_debian_theme }}} * Now you can edit the file to your hearts content. == Create a new theme file == * Create the new theme file {{{$ sudo nano /etc/grub.d/06_mytheme}}} * Now you can put whatever you want in here |
## page was renamed from Grub2/Temi # format wiki # language it <<BR>> <<Indice(depth=2)>> <<BR>> <<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t=642025"; rilasci="24.04 22.04 20.04 18.04")>> = Introduzione = 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]]'''. = Menù testuale = '''GRUB''' permette di configurare sia il tipo di carattere che i colori usati. Di seguito viene mostrato come configurare entrambe le caratteristiche. == 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ù === ##=== Ridimensionare caratteri menù === Per rendere più leggibili le scritte del menù di '''Grub''', talvolta potrebbe essere necessario ridimensionare il carattere o sceglierne un altro.<<BR>> 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`.<<BR>> 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 }}} ## 0, Aprire con i [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e con un [[Ufficio/EditorDiTesto|editor di testo]] il file `/etc/default/grub`. ## 0. Incollare in fondo dopo una riga vuota questa stringa:{{{ ###Resize font menù ##GRUB_FONT="/boot/grub/ubuntumono-r.pf2" ##}}} ## 0. Salvare e chiudere il file. ## 0. Riavviare il sistema per verificare il risultato. ##{{{#!wiki note ##Se il menù dovesse apparire più piccolo o più grande del desiderato, si dovrà rifare la procedura cambiando sperimentalmente il parametro `«28»` indicante la dimensione del font nel terzo punto. ##}}} NOTA: se avete nascosto il terzo punto, non citarlo! {{{#!wiki note Se il font scelto non è soddisfacente, si dovrà rifare la procedura scegliendone un altro. }}} ## 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:{{{ #Set owner font GRUB_FONT="/boot/grub/ubuntumono-r.pf2" }}} 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 l'effetto nella schermata di '''Grub'''. == Personalizzare i colori == La schermata del menù testuale è suddivisa in tre diverse parti. In ciascuna si può impostare un colore di primo piano e un colore di sfondo personale. Il menù di '''Grub''' riconosce 16 colori differenti, da impostare in inglese come listati nella seguente tabella. <<Anchor(colori)>> ||||<tablestyle="width:30%;">'''Tabella dei colori'''|| ||<:> '''Nome''' ||<60%:>'''Colore'''|| || black ||<#000000>|| || gray ||<#808080>|| || blue ||<#0000FF>|| || brown ||<#800000>|| || cyan ||<#00FFFF>|| || green ||<#00FF00>|| || magenta ||<#FF00FF>|| || yellow ||<#FFFF00>|| || white ||<#FFFFFF>|| || red ||<#FF0000>|| || light-gray ||<#C0C0C0>|| || light-blue ||<#0080FF>|| || light-cyan ||<#80FFFF>|| || light-green ||<#80FF00>|| || light-magenta ||<#FF80FF>|| || 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. }}} <<Anchor(colore)>> == Impostazione dei colori == Esistono le tre seguenti voci, come da tabella: ||<tablestyle="width:80%;" :60%>'''Stringa''' ||<:40%>'''Uso'''|| || '''menu_color_highlight=colore primo piano/colore sfondo''' || Colore testo e sfondo della voce selezionata || || '''menu_color_normal=colore primo piano/colore sfondo''' || Colore testo e sfondo delle voci non selezionate || || '''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. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{ sudo update-grub }}} Le modifiche apportate saranno visibili nella schermata di '''Grub''' al successivo riavvio. {{{#!wiki tip 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. }}} = Menù con immagine di sfondo = Le immagini di sfondo possono essere recuperate da pacchetti disponibili nei [[Repository|repository]] ufficiali, scaricate dalla rete tramite un [[InternetRete/Navigazione#Browser_per_navigare| 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 delle impostazioni '''set color_normal=colore primo piano/black''' e '''set menu_color_normal=colore primo piano/black''' nel [[#colore|menù testuale]]. {{{#!wiki note Di seguito si farà riferimento all'immagine col nome generico `foo.tga`. }}} == Immagine da repository == 0. [[AmministrazioneSistema/InstallareProgrammi|Installare]] il pacchetto [[apt://grub2-splashimages|grub2-splashimages]]. 0. [[AmministrazioneSistema/ComandiBase#ls|Visualizzare]] i nomi delle immagini installate digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{ ls /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 nella linea ''GRUB_BACKGROUND=""'':{{{ GRUB_BACKGROUND="/usr/share/images/grub/<nome.tga> }}} 0. Salvare e chiudere il file `/etc/default/grub`. 0. [[AmministrazioneSistema/Grub#Comandi|Aggiornare Grub]] digitando nel [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{ sudo update-grub }}} 0. Riavviare il sistema per vedere il menù con l'immagine di sfondo. == Immagine da rete == 0. Salvare un'immagine di sfondo gradita. 0. [[AmministrazioneSistema/ComandiBase#cd|Spostarsi]] nella cartella dove è stata salvata l'immagine `foo.tga` scaricata. 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. [[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'''. {{{#!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. }}} === Sostituire l'immagine === 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 sovrascritte. }}} 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]] ---- CategoryAmministrazione |
Guida verificata con Ubuntu: 20.04 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.
Menù testuale
GRUB permette di configurare sia il tipo di carattere che i colori usati. Di seguito viene mostrato come configurare entrambe le caratteristiche.
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.
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.
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 font scelto non è soddisfacente, si dovrà rifare la procedura scegliendone un altro.
Integrazione nella configurazione
Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/default/grub.
Aggiungere in fondo dopo una linea vuota le stringhe:
#Set owner font GRUB_FONT="/boot/grub/ubuntumono-r.pf2"
- Salvare e chiudere il file
Aggiornare Grub digitando nel terminale il comando:
sudo update-grub
Riavviare il sistema per vedere l'effetto nella schermata di Grub.
Personalizzare i colori
La schermata del menù testuale è suddivisa in tre diverse parti. In ciascuna si può impostare un colore di primo piano e un colore di sfondo personale.
Il menù di Grub riconosce 16 colori differenti, da impostare in inglese come listati nella seguente tabella.
Tabella dei colori |
|
Nome |
Colore |
black |
|
gray |
|
blue |
|
brown |
|
cyan |
|
green |
|
magenta |
|
yellow |
|
white |
|
red |
|
light-gray |
|
light-blue |
|
light-cyan |
|
light-green |
|
light-magenta |
|
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
Esistono le tre seguenti voci, come da tabella:
Stringa |
Uso |
menu_color_highlight=colore primo piano/colore sfondo |
Colore testo e sfondo della voce selezionata |
menu_color_normal=colore primo piano/colore sfondo |
Colore testo e sfondo delle voci non selezionate |
color_normal=colore primo piano/colore sfondo |
Colore testo e sfondo al di fuori della cornice |
Esecuzione
Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/grub.d/05_debian_theme.
Fare clic su Ctrl+F e cercare la riga:
echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"
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"
Impostare i colori desiderati usando i nomi della seguente tabella.
Salvare il file cambiando il nome in /etc/grub.d/06_custom_theme.
Dare i permessi d'esecuzione al file /etc/grub.d/06_custom_theme.
Aggiornare Grub digitando nel terminale 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.
Menù con 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 delle impostazioni set color_normal=colore primo piano/black e set menu_color_normal=colore primo piano/black nel menù testuale.
Di seguito si farà riferimento all'immagine col nome generico foo.tga.
Immagine da repository
Installare il pacchetto grub2-splashimages.
Visualizzare i nomi delle immagini installate digitando nel terminale il comando:
ls /usr/share/images/grub/*
Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/default/grub.
Digitare il nome dell'immagine scelta nella linea GRUB_BACKGROUND="":
GRUB_BACKGROUND="/usr/share/images/grub/<nome.tga>
Salvare e chiudere il file /etc/default/grub.
Aggiornare Grub digitando nel terminale il comando:
sudo update-grub
- Riavviare il sistema per vedere il menù con l'immagine di sfondo.
Immagine da rete
- Salvare un'immagine di sfondo gradita.
Spostarsi nella cartella dove è stata salvata l'immagine foo.tga scaricata.
Creare la cartella specchio in cui allocare l'immagine:
sudo mkdir -p /usr/local/share/images/grub
Copiare l'immagine nella cartella creata:
sudo cp foo.tga /usr/local/share/images/grub
Collegare staticamente l'immagine alla cartella di sistema:
sudo ln -s /usr/local/share/images/grub/foo.tga /usr/share/images/grub
Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/default/grub.
Digitare il nome dell'immagine scelta alla linea GRUB_BACKGROUND="":
GRUB_BACKGROUND="/usr/share/images/grub/foo.tga
Salvare e chiudere il file /etc/default/grub.
Aggiornare Grub digitando il comando:
sudo update-grub
Riavviare il sistema per vedere l'immagine foo.tga nella schermata di Grub.
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.
Sostituire l'immagine
Per sostituire l'immagine di sfondo è sufficiente modificare il nome dell'immagine e aggiornare Grub.
Installazione altri temi
Installando temi di terze parti le impostazioni predefinite di Grub saranno sovrascritte.
Scaricare il tema desiderato in una cartella della propria Home (molti sono disponibili da questo indirizzo o quest'altro.
Spostarsi nella cartella dove è stato scaricato il tema come archivio compresso.
Estrarre il tema decompresso.
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.
Aprire con i privilegi di amministrazione e con un editor di testo il file /etc/default/grub.
Aggiungere in fondo questa riga:
GRUB_THEME="/usr/share/grub/themes/<nome_tema>/theme.txt"
- Salvare e chiudere il file.
Aggiornare Grub digitando nel terminale il comando:
sudo update-grub
Riavviare il sistema per vedere il risultato nella schermata di Grub.