Dopo aver impostato un'immagine personale come sfondo di grub, mi sono ritrovato con i colori di default del menuentry (che avevo modificato) mentre se cancello l'immagine, precedentemente copiata in /boot/grub viene reimpostata automaticamente l'immagine di default, e con quest'ultima i colori tornano come da me modificati.

chiesto 03 Dic '14, 12:15

anonimo01's gravatar image

anonimo01
(sospeso)


Risolto così

gksu gedit /etc/grub.d/05_debian_theme

sostituito queste

    if [ -z "${2}" ] && [ -z "${3}" ]; then
            echo "  true"
    fi

con queste, dove ho messo i colori che volevo

if [ -z "${2}" ] && [ -z "${3}" ]; then
# echo "  true"
echo "    set color_highlight=yellow/green"
echo "    set color_normal=blue/black"
fi

salvato e chiuso il file e

sudo update-grub
coll. permanente

ha risposto 03 Dic '14, 12:20

anonimo01's gravatar image

anonimo01
(sospeso)

La tua risposta
abilita/disabilita anteprima

Segui questa domanda

Via email:

Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui

Via RSS:

Risposte

Risposte e commenti

Basi di markdown

  • *corsivo* o __corsivo__
  • **grassetto** o __grassetto__
  • collegamento:[testo](http://url.com/ "titolo")
  • immagine?![alt testo](/path/img.jpg "titolo")
  • elenco numerato: 1. Foo 2. Bar
  • per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
  • è supportato anche semplice HTML

Tag:

×210

domanda posta: 03 Dic '14, 12:15

domanda visualizzata: 757 volte

ultimo aggiornamento: 03 Dic '14, 12:20

Chiedi è un servizio di supporto gestito da Ubuntu-it. Contattaci!

powered by OSQAPostgreSQL database
Ubuntu e Canonical sono marchi registrati da Canonical Ltd.