Ubuntu 14.10から15.10にアップグレードした後、gnome-terminal
を使用してgconftool-2
設定を変更することはサポートされなくなったようです。この問題は GconfからGSettingsへの移行 に関連していると思います。
次に、古いスクリプトの一部を(Ubuntu 15.10で壊れているため)gconftool-2
ではなくdconf
/gesettings
で動作するように変更したいと思います。
例として、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
上記の出力は私を混乱させます:
dconf
の/org/gnome/terminal/legacy/profiles:/
パスがあり、s
のorg.gnome.Terminal.Legacy.Profiles
(末尾のgsettings
に注意)スキーマIDがないのはなぜですか?また、詳細については dconf-editorと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
したがって、Ubuntu 14.10にはdefault-size-columns
キーに対応する(?)default_size_columns
キーがありますが、Ubuntu 14.10にはuse-custom-default-size
キーに対応するuse_custom_default_size
キーはありません。これも私を混乱させます。
また、実行しようとした場合:
$ 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