☰

Невозможно изменить настройки палитры в терминале dconf gedit

tag-icon • tag-icon command-line gedit
Невозможно изменить настройки палитры в терминале dconf gedit

Я следовал этой теме, чтобы исправить проблему с белым терминалом gedit. Как изменить цвета встроенного плагина терминала Gedit?

Я застрял, потому что не могу изменить или удалить настройку палитры в dconf.

Вот какую ошибку я получаю:

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

Есть ли способ сделать это вручную? Есть ли помощь?

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

Спасибо

решение1

  • Измените поведение с помощью

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

    или

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

    Если задано значение true, то для терминала будет использоваться цветовая схема темы, используемая для полей ввода текста, а не цвета, указанные пользователем.

    или сбросить поведение с помощью

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

  • Другой пример: чтобы задать всю цветовую палитру, используйте

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

  • Илиbackground-color

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

  • Список всех доступных ключей с

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

Связанный контент