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.