Wiki Ubuntu-it

Indice
Partecipa
FAQ
Wiki Blog
------------------
Ubuntu-it.org
Forum
Chiedi
Chat
Cerca
Planet
  • Pagina non alterabile
  • Informazioni
  • Allegati
  • Differenze per "ivantu/grub_modifica-temi"
Differenze tra le versioni 1 e 9 (in 8 versioni)
⇤ ← Versione 1 del 03/09/2020 11.18.55 →
Dimensione: 2318
Autore: ivantu
Commento:
← Versione 9 del 31/03/2021 16.09.29 → ⇥
Dimensione: 6527
Autore: ivantu
Commento:
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
Linea 5: Linea 5:

<<Indice>>		 <<Indice(depth=2)>>
Linea 8: Linea 7:
<<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t="; rilasci="20.04 18.04")>> <<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t=642025"; rilasci="21.04 20.10 20.04 18.04")>>
Linea 11: Linea 10:
In questa guida viene descritto un metodo per modificare tema predefinito di '''GRUB'''. O aggiungere altri temi.
Linea 16: Linea 16:
[[AmministrazioneSistema/ComandiBase#cp|Copiare]] l'immagine che abbiamo scelto per esempio dalla directory /home/nome_utente/Immagini nella directory /boot/grub/, con il [[AmministrazioneSistema/Terminale|terminale]] digitiamo i comandi {{{
 sudo cp xxxx.png /boot/grub/xxxx.png.}}}		  0. Fare una ricerca di un'immagine di sfondo con un [[InternetRete/Navigazione#Browser_per_navigare|BrowserWeb]], e copiarla.
 0. [[AmministrazioneSistema/ComandiBase#cd|Spostarsi]] nella cartella dove è stata salvata l'immagine `foo.png`.
 0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] l'immagine prescelta nella cartella `/boot/grub/` digitando il comando {{{
 sudo cp foo.png /boot/grub/background.png}}}
 0. Aggiornare '''Grub''' digitando il comando: {{{
 sudo update-grub
}}}
 0. Riavviare il sistema per vedere l'immagine '''foo.png''' nella schermata di '''Grub'''.
Linea 19: Linea 25:
||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/note.png,,center)>> ||<style="padding:0.5em; border:none;">''I tipi d'immagine supportati dal menu-grub sono *.jpg, *.jpeg, *.png e *.tga. Le immagini *.png sono le più consigliate.
Se in futuro devi procedere a cambiare con un'altra immagine, è consigliabile eliminare l'immagine già esistente.'' ||
Linea 22: Linea 26:
##Per rimuovere l'immagine{{{
sudo rm /boot/grub/xxxx.png .}}}		 {{{#!wiki note
La nostra immagine si chiamerà '''foo.png'''.
Tipi d'immagine supportati sono *.jpg, *.jpeg, *.png e *.tga. Le immagini *.png sono le più consigliate.
Si consiglia di utilizzare un formato uguale alla risoluzione del monitor.}}}
Linea 25: Linea 31:
== Modifica carattere == {{{#!wiki note
Se in futuro si vuole procedere a sostituire l'immagine con un'altra, è consigliabile rimuovere l'immagine già caricata. Seguire il seguente passaggio. Rimuovere l'immagine.}}}

== 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`.

 0. Da [[AmministrazioneSistema/Terminale|terminale]] scriviamo il comando:{{{
sudo rm /boot/grub/background.png}}}
 0. Aggiungere un'immagine di sfondo nuova, seguire nuovamente la procedura precedente.

= Modificare colore carattere =
Linea 29: Linea 46:
 0. Colore del menu, apparirà come la casella e il colore della linea regolare
 0. Colore di evidenziazione del menu, apparirà dove si trova il cursore come la linea selezionata
 0. Colore normale, apparirà sopra e sotto la casella		  0. Colore del menu, appare come la casella e il colore della linea regolare
 0. Colore di evidenziamento del menu, appare dove si trova il cursore come la linea selezionata
 0. Colore normale, appare sopra e sotto la casella
Linea 33: Linea 50:
Seguire così == Esecuzione ==
Linea 35: Linea 52:
 0. Dotati di [[AmministrazioneSistema/PrivilegiDiAmministrazione|privilegi di amministrazione]] e un [[Ufficio/EditorDiTesto|editor di testo]] aprire il file `/etc/grub.d/05_debian_theme` oppure digitando su un [[AmministrazioneSistema/Terminale|terminale]] il comando:{{{  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` oppure digitare il comando:{{{
Linea 37: Linea 54:
 0. Alla riga 122 dove vedi questa riga:{{{
echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"}}}
 0. Aggiungi di seguito queste tre con le tue scelte di colore{{{
echo "set color_normal = cyan / black"
echo "imposta menu_color_normal = giallo / nero"
echo "set menu_color_highlight = rosso / nero"}}}
 0. Salva il file		  0. Cercare la riga:{{{
echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"
}}}
 0. Aggiungere di seguito queste tre righe, impostando pel primo il colore di primo piano e pel secondo il colore di sfondo, come dalla seguente [[#colori|tabella]]:{{{
echo "set color_normal=cyan/black"
echo "set menu_color_normal=yellow/black"
echo "set menu_color_highlight=red/black"
}}}
 0. Salvare il file
 0. Digitare nel [[AmministrazioneSistema/Terminale|terminale]] il seguente comando:{{{
 sudo update-grub
}}}
 0. Riavviare il sistema per vedere l'effetto nella schermata di '''Grub'''.
Linea 45: Linea 68:
||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%><<Immagine(Icone/Piccole/note.png,,center)>> ||<style="padding:0.5em; border:none;">''Possibili colori di configurazione sono '' || <<Anchor(colori)>>
= Tabella colori usabili =
Linea 47: Linea 71:
||<tablestyle="width:80%;" rowstyle="background-color: #cccccc;" :50%>'''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;"> ||
Linea 48: Linea 89:
{{{#!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.
}}}

= Installazione altri temi =

 0. Scaricare da [[https://www.gnome-look.org/browse/cat/109/order/latest/|qui]] un tema
 0. [[AmministrazioneSistema/FormatiDiCompressione#Decomprimere|Decomprimere]] il file archivio del tema scaricato con il punto precedente
 0. [[AmministrazioneSistema/ComandiBase#cp|Copiare]] il tema scompattato da un [[AmministrazioneSistema/Terminale|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`

 0. Da [[AmministrazioneSistema/Terminale|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.

{{{#!wiki note
Presumere il ''percorso_tema_decompresso'' sia nella $HOME utente.
Il ''nome_tema'' è il nome archivio scaricato
}}}

Al punto successivo, aggiorniamo il file contenente la configurazione '''GRUB'''

 0. Da [[AmministrazioneSistema/Terminale|terminale]] scrivere il comando:{{{
sudo grub-mkconfig -o /boot/grub/grub.cfg
}}}
 0. Riavviare il sistema.
Linea 50: Linea 124:
CategoryAmministrazione CategoryDaRevisionare ##CategoryAmministrazione CategoryDaRevisionare
CategoryHomepage



Guida verificata con Ubuntu: 20.04

Problemi in questa pagina? Segnalali in questa discussione

Introduzione

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

Colore e immagine di sfondo

Impostazione di un'immagine di sfondo

  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.

La nostra immagine si chiamerà foo.png. Tipi d'immagine supportati sono *.jpg, *.jpeg, *.png e *.tga. Le immagini *.png sono le più consigliate. Si consiglia di utilizzare un formato uguale alla risoluzione del monitor.

Se in futuro si vuole procedere a sostituire l'immagine con un'altra, è consigliabile rimuovere l'immagine già caricata. Seguire il seguente passaggio. Rimuovere l'immagine.

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.

Modificare colore carattere

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

Nome colore

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, tra l'altro, dalla resa grafica dello schermo e della scheda grafica, illuminazione dell'ambiente di lavoro, ora del giorno, proprie condizioni psicofisiche, ecc.

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.

Presumere il percorso_tema_decompresso sia nella $HOME utente. Il nome_tema è il nome archivio scaricato

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