Pegue a entrada f36134ca-ebb6-4824-8403-6c11c8a135e8
da saída de
dconf dump / | grep legacy
e adicione-o novamente aos valores da chave com o nome list
.
Agora abra gnome-terminal
e remova o perfil.
Estou usando o GNOME 3.16
Eu tenho as seguintes entradas no meu banco de dados do dconf. As entradas são 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]
O mesmo esquema no dconf-editor
.
A entrada :f36134ca-…
era um perfil de terminal, mas o perfil não existe mais na lista de perfis em gnome-terminal
. Como posso remover a entrada / perfil inútil?
Pegue a entrada f36134ca-ebb6-4824-8403-6c11c8a135e8
da saída de
dconf dump / | grep legacy
e adicione-o novamente aos valores da chave com o nome list
.
Agora abra gnome-terminal
e remova o perfil.