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 2
Versione 1 del 03/09/2020 11.18.55
Dimensione: 2318
Autore: ivantu
Commento:
Versione 2 del 03/09/2020 11.24.28
Dimensione: 2324
Autore: ivantu
Commento:
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
Linea 8: Linea 8:
<<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="20.04 18.04")>>



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

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

 sudo cp xxxx.png /boot/grub/xxxx.png.

||<tablestyle="text-align: justify; width:100%;" style="border:none;" 5%> ||<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. ||

sudo rm /boot/grub/xxxx.png .}}}

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 "imposta menu_color_normal = giallo / nero"
    echo "set menu_color_highlight = rosso / nero"
  4. Salva il file

Possibili colori di configurazione sono


CategoryAmministrazione CategoryDaRevisionare