I'm using GNOME 3.16
I have the following entries in my dconf-database. The entries are gnome-terminal
profiles.
% 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]
The same schema in the dconf-editor
.
The entry :f36134ca-…
was a terminal profile, but the profile does not exist anymore in the profile list in gnome-terminal
. How can I remove the useless entry/profile?
Best Answer
Take the entry
f36134ca-ebb6-4824-8403-6c11c8a135e8
from the output ofand add it again to the values of the key with the name
list
.Now open
gnome-terminal
and remove the profile.