Як змінити параметри профілю gnome-terminal за допомогою 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

Вищенаведений вихід бентежить мене:

• Чому існує ідентифікатор схеми /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

так що є 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 стовпців ..

Синтаксис, який слід використовувати з 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