Dimensione: 4616
Commento: Correzioni varie
|
Dimensione: 6527
Commento:
|
Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
Linea 7: | Linea 7: |
<<Informazioni(forum="http://forum.ubuntu-it.org/viewtopic.php?t=642025"; 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 10: | Linea 10: |
Cosa serve la presente wiki ? | In questa guida viene descritto un metodo per modificare tema predefinito di '''GRUB'''. O aggiungere altri temi. |
Linea 16: | Linea 16: |
0. Scaricare l'immagine da dove ? | 0. Fare una ricerca di un'immagine di sfondo con un [[InternetRete/Navigazione#Browser_per_navigare|BrowserWeb]], e copiarla. |
Linea 19: | Linea 19: |
sudo cp foo.png /boot/grub/foo.png}}} | sudo cp foo.png /boot/grub/background.png}}} |
Linea 27: | Linea 27: |
Tipi d'immagine supportati sono *.jpg, *.jpeg, *.png e *.tga. Le immagini *.png sono le più consigliate. |
La nostra immagine si chiamerà '''foo.png'''. Tipi d'immagine supportati sono *.jpg, *.jpeg, *.png e *.tga. Le immagini *.png sono le più consigliate. |
Linea 32: | Linea 32: |
Se in futuro si vuole procedere a sostituire l'immagine con un'altra, è consigliabile rimuovere l'immagine già caricata.}}} | 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.}}} |
Linea 34: | Linea 34: |
##Per rimuovere l'immagine{{{ ##sudo rm /boot/grub/xxxx.png}}} |
== Rimuovere l'immagine == |
Linea 37: | Linea 36: |
== Modificare colore carattere == | 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 88: | Linea 93: |
= 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 89: | 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
Fare una ricerca di un'immagine di sfondo con un BrowserWeb, e copiarla.
Spostarsi nella cartella dove è stata salvata l'immagine foo.png.
Copiare l'immagine prescelta nella cartella /boot/grub/ digitando il comando
sudo cp foo.png /boot/grub/background.png
Aggiornare Grub digitando il comando:
sudo update-grub
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.
Da terminale scriviamo il comando:
sudo rm /boot/grub/background.png
- Aggiungere un'immagine di sfondo nuova, seguire nuovamente la procedura precedente.
Modificare colore carattere
Puoi avere 3 colori dei caratteri:
- Colore del menu, appare come la casella e il colore della linea regolare
- Colore di evidenziamento del menu, appare dove si trova il cursore come la linea selezionata
- Colore normale, appare sopra e sotto la casella
Esecuzione
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
Cercare la riga:
echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"
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"
- Salvare il file
Digitare nel terminale il seguente comando:
sudo update-grub
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
Scaricare da qui un tema
Decomprimere il file archivio del tema scaricato con il punto precedente
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
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
Da terminale scrivere il comando:
sudo grub-mkconfig -o /boot/grub/grub.cfg
- Riavviare il sistema.