Я пытался выполнить шаги на ответах на этот вопрос: Сделайте встроенный терминал gedit, окрашивает то же как терминал по умолчанию
Однако ни один из них не работает. Я использую Ubuntu 16.04 LTS
Я пытался изменить настройки с помощью dconf-редактора, но изменения не отражаются в gedit
Я столкнулся с той же проблемой сегодня и наткнулся на этот вопрос. Печально это не имело никакого ответа. Счастливо, я 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
, После того как Вы перезапускаете, у Вас должен быть черно-белый терминал -