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.
  • 90,397

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.
  • 90,397
Sergiy Kolodyazhnyy
  • 105,154
  • 20
  • 279
  • 497
  • Since he is on GNOME 3.16 can it be that dconf-editor does not recognize some keys from the upstream 3.16 release? dconf-editor version 0.22.01, my terminal profile has many more values listed on the right. – xtrchessreal Sep 05 '15 at 16:33
  • 1
    @xtrchessreal my understanding is that newer gnome-terminal just reads different schemas than before and has nothing to do with dconf itself – Sergiy Kolodyazhnyy Sep 05 '15 at 16:42