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 4 e 5
Versione 4 del 04/09/2020 17.25.54
Dimensione: 4192
Autore: wilecoyote
Commento: Tabellati i colori
Versione 5 del 07/09/2020 15.12.45
Dimensione: 4417
Autore: ivantu
Commento:
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
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. [[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 il comando {{{
 sudo cp xxxx.png /boot/grub/xxxx.png}}}
 0. Con il [[AmministrazioneSistema/Terminale|terminale]] digitiamo il comando {{{
 sudo update-grub}}}
 0. Riavviamo il sistema e vedremo l'immagine '''xxxx.png''' nella schermata di grub
Linea 19: Linea 22:
||<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.'' ||

{{{#!wiki note
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}}}

{{{#!wiki note
Se in futuro devi procedere a cambiare con un'altra immagine, è consigliabile eliminare l'immagine già esistente.''}}}
Linea 23: Linea 32:
sudo rm /boot/grub/xxxx.png .}}} ##sudo rm /boot/grub/xxxx.png}}}
Linea 40: Linea 49:
echo "set color_normal = cyan / black"
echo "imposta menu_color_normal = giallo / nero"
echo "set menu_color_highlight = rosso / nero"}}}
echo "set color_normal=cyan/black"
echo "set menu_color_normal=yellow/black"
echo "set menu_color_highlight=red/black"}}}
Linea 44: Linea 53:
 0. Con il [[AmministrazioneSistema/Terminale|terminale]] digitiamo il comando {{{
 sudo update-grub}}}



Guida verificata con Ubuntu: 20.04

Problemi in questa pagina? Segnalali in questa discussione

Introduzione

Colore e immagine di sfondo

Impostazione di un'immagine di sfondo

  1. Copiare l'immagine che abbiamo scelto per esempio dalla directory /home/nome_utente/Immagini nella directory /boot/grub/, con il terminale digitiamo il comando

     sudo cp xxxx.png /boot/grub/xxxx.png
  2. Con il terminale digitiamo il comando

     sudo update-grub
  3. Riavviamo il sistema e vedremo l'immagine xxxx.png nella schermata di grub

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 devi procedere a cambiare con un'altra immagine, è consigliabile eliminare l'immagine già esistente.

Modifica carattere

Puoi avere 3 colori dei caratteri:

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

Seguire così

  1. Dotati di privilegi di amministrazione e un editor di testo aprire il file /etc/grub.d/05_debian_theme oppure digitando su un terminale il comando:

    sudo nano /etc/grub.d/05_debian_theme
  2. Alla riga 122 dove vedi questa riga:

    echo "if background_image make_system_path_relative_to_its_root" $ {1} " ; then"
  3. Aggiungi di seguito queste tre con le tue scelte di colore

    echo "set color_normal=cyan/black"
    echo "set menu_color_normal=yellow/black"
    echo "set menu_color_highlight=red/black"
  4. Salva il file
  5. Con il terminale digitiamo il comando

     sudo update-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.


CategoryAmministrazione CategoryDaRevisionare