dconfまたはgsettingsを使用してgnome-terminalプロファイルの設定を変更する方法は?


16

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

上記の出力は私を混乱させます:

まだ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-columnsdefault_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列で開いているため、設定は効果がないようです。


14.10と15.04はすでに寿命に達しており、最初に15.10にアップグレードしてください。
バイトコマンダー

@ByteCommander 15.10にアップグレードしましたが、15.04の場合と同じ15.10の質問が残っています。私も投稿したい解決策を見つけました。この質問を再開するにはどうすればよいですか?ソリューションを投稿できますか?
ホーコンヘーグランド

回答:


19

gsettingsコマンドで使用される構文は、GNOME端末のよくある質問で説明されてい ます。

最初に、変更するプロファイルの識別子を見つける必要があります。たとえば、gnome-terminalデフォルトプロファイルの識別子はschemaから取得できます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

1
自分で解決策を見つけたことはクールです。あなた自身の答えを受け入れることを忘れないでください。
バイトコマンダー

1
実際には、IDの代わりにプロファイルの番号を指定できるため、コマンドは次のようになりますgsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:0/ default-size-columns 150
。– Anatoli

1
またはさらに短く:gsettings set org.gnome.Terminal.Legacy.Profile:/:0/ default-size-columns 150
アナトリ

あなたの答えは私の一日を救った!「org.gnome.Terminal.Legacy.Profile:/ org / gnome / terminal / legacy / profiles:/:... /」の構文をどのようにして見つけましたか?ドキュメントで見つけましたか?私が立ち往生したのは、「プロファイル」の後に「/ org / gnome / ...」が続くことに気づかなかったからです。
yaobin
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.