gsettings
を使用して、コマンドラインからGnome-Terminal
プロファイルを編集しようとしています。 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:/