☰

Não é possível alterar as configurações da paleta no terminal dconf gedit

tag-icon • tag-icon command-line gedit
Não é possível alterar as configurações da paleta no terminal dconf gedit

Segui o tópico para corrigir o problema do terminal branco do gedit. Como alterar as cores do plugin do terminal incorporado do Gedit?

Estou preso porque não consigo alterar ou excluir a configuração da paleta no dconf.

Este é o erro que recebo:

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

Existe uma maneira de fazer isso manualmente. Qualquer ajuda?

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

THX

Responder1

  • Mude o comportamento com

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

    ou

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

    Se for verdade, o esquema de cores do tema usado nas caixas de entrada de texto será usado no terminal, em vez das cores fornecidas pelo usuário.

    ou redefinir o comportamento com

    gsettings reset org.gnome.gedit.plugins.terminal use-theme-colors

  • Outro exemplo, para definir toda a paleta de cores 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']"

  • Ou obackground-color

    gsettings set org.gnome.gedit.plugins.terminal background-color "black"

  • Liste todas as chaves disponíveis com

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

informação relacionada