Impossible de modifier les paramètres de la palette dans le terminal dconf gedit


1

J'ai suivi le fil de discussion pour résoudre le problème du terminal blanc gedit.How to change Gedit embeded terminal plugin colors?

Je suis bloqué car je ne peux pas modifier ou supprimer le paramètre de palette dans dconf.

Voici l'erreur que j'obtiens:

"Erreur lors de la définition de la valeur : 0:expected value"

Existe-t-il un moyen de le faire manuellement.Avez-vous de l'aide?

gedit:
  Installé : 3.10.4-0ubuntu13
  Candidat : 3.10.4-0ubuntu13
 Table de version :
 *** 3.10.4-0ubuntu13 0
        500 http://fr.archive.ubuntu.com/ubuntu/ wily/main amd64 Packages
        100 /var/lib/dpkg/status

Merci

1
  • Change the behavior with

    gsettings set org.gnome.gedit.plugins.terminal use-theme-colors true
    

    or

    gsettings set org.gnome.gedit.plugins.terminal use-theme-colors false    
    

    If true, the theme color scheme used for text entry boxes will be used for the terminal, instead of colors provided by the user.

    or reset the behavior with

    gsettings reset org.gnome.gedit.plugins.terminal use-theme-colors
    
  • An other example, to set the whole color palette use

    gsettings set org.gnome.gedit.plugins.terminal palette "['#2E2E34343636', '#CCCC00000000', '#4E4E9A9A0606', '#C4C4A0A00000', '#34346565A4A4', '#757550507B7B', '#060698209A9A', '#D3D3D7D7CFCF', '#555557575353', '#EFEF29292929', '#8A8AE2E23434', '#FCFCE9E94F4F', '#72729F9FCFCF', '#ADAD7F7FA8A8', '#3434E2E2E2E2', '#EEEEEEEEECEC']"
    
  • Or the background-color

    gsettings set org.gnome.gedit.plugins.terminal background-color "black"
    
  • List all available keys with

    gsettings list-keys org.gnome.gedit.plugins.terminal