web-dev-qa-db-ja.com

18.04のコマンドラインからGnome-Terminalプロファイルを編集する

gsettingsを使用して、コマンドラインからGnome-Terminalプロファイルを編集しようとしています。 gsettingsを使用するには、各プロファイルに含まれるキーと値を知る必要があります。私の問題は、dconf-editorがこれらを表示しないことです。 dconf-editorを使用して、/org/gnome/terminal/legacy/profiles/defaultまでのすべてを表示できます。これにより、プロファイルのUUIDが表示されますが、プロファイル内のキー/値のペアは表示されません。 gsettingsを使用してプロファイルを編集できるように、この情報にアクセスするにはどうすればよいですか?

1
Jonathan

実際、dconf-editorは、/org/gnome/terminal/legacy/profiles:/のサブディレクトリに、各プロファイルのキーと値を表示します。それらの名前はUUIDで、コロンのプレフィックスが付いています。ただし、デフォルトのプロファイルは、変更された場合にのみ表示されます。

screenshot of dconf-editor

それでもコマンドラインを使用したい場合は、dconfがより良い選択のようです。なぜなら、私が知る限り、gsettingsは個々のプロファイル設定にアクセスできず、新しいプロファイル(デフォルトプロファイルの設定ではありません)。一方、dconfはデフォルト設定にアクセスできないようです。

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

プロファイルを取得します。

gsettings get org.gnome.Terminal.Legacy.ProfileList list

デフォルトのプロファイルを取得:

gsettings get org.gnome.Terminal.Legacy.ProfileList default

設定を取得します(これらは新しいプロファイルのデフォルト設定です):

gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/
1
wjandrea