J'utilise GNOME 3.16
J'ai les entrées suivantes dans ma base de données dconf. Les entrées sont gnome-terminal
profils.
% 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]
Le même schéma dans le dconf-editor
.
L'entrée :f36134ca-…
était un profil de terminal, mais le profil n'existe plus dans la liste des profils dans gnome-terminal
. Comment puis-je supprimer l'entrée/le profil inutile?
Prenez l'entrée f36134ca-ebb6-4824-8403-6c11c8a135e8
de la sortie de
dconf dump / | grep legacy
et ajoutez-le à nouveau aux valeurs de la clé avec le nom list
.
Ouvrez maintenant gnome-terminal
et supprimez le profil.