Измените Терминальный Gnome профиль из командной строки на 18,04

Я пытаюсь отредактировать Gnome-Terminal профили от использования командной строки gsettings. Для использования gsettings Я должен знать ключи и значения, содержавшиеся в каждом профиле. Моя проблема - это dconf-editor не отображает их. Я могу использовать dconf-editor просмотреть все вниз к /org/gnome/terminal/legacy/profiles/default. Это отображает UUID для профиля, но не отображает ни одной из пар ключ/значение в профиле. Как я могу получить доступ к этой информации, таким образом, я могу отредактировать использование профиля gsettings?

1
задан 24 August 2018 в 20:57

1 ответ

Действительно? dconf-editor действительно показывает ключи и значения каждого профиля, в подкаталогах /org/gnome/terminal/legacy/profiles:/. Их именами является UUID с префиксом двоеточия. Но профиль по умолчанию только обнаруживается, если он был изменен.

screenshot of dconf-editor

Если Вы все еще хотите использовать командную строку, dconf походит на лучший выбор, так как насколько я могу сказать, gsettings не имеет доступа к отдельным настройкам профиля, только настройкам по умолчанию для новых профилей (не настройки профиля по умолчанию). Хотя, с другой стороны, dconf кажется, не имеет доступ к настройкам по умолчанию.

dconf

Получите профили:

dconf list /org/gnome/terminal/legacy/profiles:/

Получите профили с их именами (из ответа Sergiy здесь):

dconf dump /org/gnome/terminal/legacy/profiles:/ | awk '/\[:/||/visible-name=/'

Перечислите все настройки:

dconf dump /org/gnome/terminal/legacy/profiles:/

gsettings

Получите профили:

gsettings get org.gnome.Terminal.Legacy.ProfileList list

Получите профиль по умолчанию:

gsettings get org.gnome.Terminal.Legacy.ProfileList default

Получите настройки (я думаю, что это настройки по умолчанию для новых профилей):

gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/
1
ответ дан 7 December 2019 в 15:14

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

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