Удалите ненужные записи в дереве схемы dconf.

Я использую GNOME 3.16

У меня есть следующие записи в моей базе данных dconf. Записи gnome-terminal профили.

% 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]

Та же схема в dconf-editor,

введите описание здесь

Вход :f36134ca-… был профиль терминала, но профиль больше не существует в списке профилей в gnome-terminal, Как я могу удалить бесполезную запись / профиль?

Источник

1 ответ

Решение

Принять запись f36134ca-ebb6-4824-8403-6c11c8a135e8 с выхода

dconf dump / | grep legacy

и добавьте его снова к значениям ключа с именем list,

Теперь откройте gnome-terminal и удали профиль.

Источник
Другие вопросы по тегам