dconfスキーマツリーの不要なエントリを削除する
GNOME 3.16を使用しています
Dconf-databaseに次のエントリがあります。エントリはgnome-terminalプロファイルです。
% dconf dump / | grep legacy
[org/gnome/terminal/legacy]
[org/gnome/terminal/legacy/profiles:]
[org/gnome/terminal/legacy/profiles:/:4d4a684a-7388-40db-adf1-6ec6b6f9043d]
[org/gnome/terminal/legacy/profiles:/:f36134ca-ebb6-4824-8403-6c11c8a135e8]
dconf-editorの同じスキーマ。
エントリ:f36134ca-…was端末プロファイルですが、プロファイルはgnome-terminalのプロファイルリストにもう存在しません。役に立たないエントリ/プロファイルを削除するにはどうすればよいですか？
の出力からエントリf36134ca-ebb6-4824-8403-6c11c8a135e8を取得します
dconf dump / | grep legacy
listという名前のキーの値に再度追加します。
gnome-terminalを開き、プロファイルを削除します。