Как изменить цвета встроенного терминала в gedit в Ubuntu 16.04 LTS?

Я пытался выполнить шаги на ответах на этот вопрос: Сделайте встроенный терминал gedit, окрашивает то же как терминал по умолчанию

Однако ни один из них не работает. Я использую Ubuntu 16.04 LTS

Я пытался изменить настройки с помощью dconf-редактора, но изменения не отражаются в gedit

0
задан 13 April 2017 в 05:32

1 ответ

Я столкнулся с той же проблемой сегодня и наткнулся на этот вопрос. Печально это не имело никакого ответа. Счастливо, я manged для понимания этого. HTH кто-то еще.

я использую VM Ubuntu 16.04, и следовал тому же учебному руководству и имел те же результаты.

проблема находится здесь, в /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py строки 88-98:

def get_profile_settings(self):
profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

if profiles:
    default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
    settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                          default_path)
else:
    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

return settings

, Когда плагин получает терминальные настройки, он сначала проверяет путь dconf-редактора на терминальные настройки по умолчанию, которые, если Ваш похож на мой, только имеет use-theme-transparency установка. В результате встроенный терминал не имеет никаких настроек для фактического использования. Я изображаю твердый способ зафиксировать, это должно было бы копировать ключи org.gnome.gedit.plugins.terminal в org.gnome.Terminal.ProfileList. Вместо этого откройте terminal.py, прокомментируйте, если оператор, и вынуждает настройки использовать эти org.gnome.gedit.plugins.terminal настройки.

    def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

#        if profiles:
#            default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
#            settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
#                                                  default_path)
#        else:
#            settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")
    return settings

, После того как Вы перезапускаете, у Вас должен быть черно-белый терминал -

enter image description here

2
ответ дан 3 November 2019 в 15:44

Другие вопросы по тегам:

Похожие вопросы: