Я пытаюсь отредактировать Gnome-Terminal
профили от использования командной строки gsettings
. Для использования gsettings
Я должен знать ключи и значения, содержавшиеся в каждом профиле. Моя проблема - это dconf-editor
не отображает их. Я могу использовать dconf-editor
просмотреть все вниз к /org/gnome/terminal/legacy/profiles/default
. Это отображает UUID для профиля, но не отображает ни одной из пар ключ/значение в профиле. Как я могу получить доступ к этой информации, таким образом, я могу отредактировать использование профиля gsettings
?
Действительно? dconf-editor
действительно показывает ключи и значения каждого профиля, в подкаталогах /org/gnome/terminal/legacy/profiles:/
. Их именами является UUID с префиксом двоеточия. Но профиль по умолчанию только обнаруживается, если он был изменен.
Если Вы все еще хотите использовать командную строку, dconf
походит на лучший выбор, так как насколько я могу сказать, gsettings
не имеет доступа к отдельным настройкам профиля, только настройкам по умолчанию для новых профилей (не настройки профиля по умолчанию). Хотя, с другой стороны, 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 get org.gnome.Terminal.Legacy.ProfileList list
Получите профиль по умолчанию:
gsettings get org.gnome.Terminal.Legacy.ProfileList default
Получите настройки (я думаю, что это настройки по умолчанию для новых профилей):
gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/