6

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.

enter image description here

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?

A.B.
  • 92,125

1 Answers1

2

Take the entry f36134ca-ebb6-4824-8403-6c11c8a135e8 from the output of

dconf dump / | grep legacy

and add it again to the values of the key with the name list.

Now open gnome-terminal and remove the profile.

A.B.
  • 92,125
Sergiy Kolodyazhnyy
  • 107,582