Как измениться, терминал гнома представляют предпочтения с помощью dconf или gsettings?
После обновления формы Ubuntu 14.10 к 15,10, это кажется тем изменением gnome-terminal предпочтительное использование gconftool-2 больше не поддерживается. Я предполагаю, что эта проблема связана Gconf с миграцией GSettings.
Теперь, я хотел бы изменить некоторые свои старые сценарии (так как они повреждаются в Ubuntu 15.10) работать с dconf/gesettings вместо gconftool-2.
Как пример, на Ubuntu 14.10 ( gnome-terminal версия 3.6.2) я мог определить номер столбцов в Default использование профиля:
$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/default_size_columns \
--type=int 140
$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_custom_default_size \
--type=bool true
Теперь, в Ubuntu 15.10, вводя:
$ dconf list /org/gnome/terminal/legacy/
дает
profiles:/
schema-version
тогда как
$ gsettings list-relocatable-schemas | grep Terminal
дает
org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings
Вышеупомянутый вывод смущает меня:
- Почему там a
/org/gnome/terminal/legacy/profiles:/путь дляdconfно нетorg.gnome.Terminal.Legacy.Profiles(отметьте запаздываниеs) идентификатор схемы дляgsettings? Кроме того, посмотрите разве dconf-редактора, и gsettings не должны получать доступ к той же базе данных? для получения дополнительной информации.
Все еще в Ubuntu 15.10 (использование gnome-terminal версия 3.16.2), если я работаю:
$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default
Я добираюсь:
default-size-rows
default-show-menubar
default-size-columns
таким образом, существует a default-size-columns ключ, который мог соответствовать default_size_columns ключ в Ubuntu 14.10, но существует нет use-custom-default-size ключ, соответствующий use_custom_default_size ключ в Ubuntu 14.10. Это также смущает меня.
Кроме того, если я пытаюсь работать:
$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150
и откройте новое gnome-terminal установка default-size-columns кажется, не имеет никакого эффекта, так как терминал все еще открывается 80 столбцами..
2 ответа
Синтаксис, который будет использоваться с эти gsettings команда, описан в Терминал GNOME Часто Задаваемые Вопросы .
Первый необходимо узнать идентификатор профиля, который Вы хотите изменить. Например, идентификатор gnome-terminal профиль по умолчанию может быть получен из схемы org.gnome.Terminal.ProfilesList.
, Затем изменяют желаемые ключи пути /org/gnome/terminal/legacy/profiles:/:UUID/ из схемы org.gnome.Terminal.Legacy.Profile: для этого профиля.
Примечание двоеточия в вышеупомянутом пути. Это не будет работать, если они будут опущены.
Вот сценарий, которые используют вышеупомянутое для установки default-size-columns из профиля по умолчанию:
profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
profile=${profile:1:-1} # remove leading and trailing single quotes
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" default-size-columns 150
Короткие версии Anatoli не давали мне текущее значение настройки ширины столбца, они возвращали 80, хотя терминал был установлен на 120. Но метод Хакона работал отлично.
Чтобы получить «путь», используйте dconf-editor, чтобы найти профиль и щелкнуть имя профиля, после чего вы можете «Копировать текущий путь» — см. прикрепленный скриншот