GNOME Terminal
сама по себе не предоставляет такой опции, поэтому вам придется вручную работать с ее базой данных.
Начиная с версии 3.8 он использует GSettings
, что в свою очередь (по крайней мере, в системах Linux) использует dconf
. Вероятно, было бы более элегантно использовать gsettings
инструмент. К сожалению, я не мог понять, как сбросить все соответствующие данные, не говоря уже о том, чтобы восстановить их. Итак, давайте использовать dconf
.
Основываясь на этой статье , вы можете сбросить свои настройки, используя:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Сброс (стирание) настроек перед загрузкой новой (вероятно, не очень):
dconf reset -f /org/gnome/terminal/
Загрузите сохраненные настройки:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Отказ от ответственности: я не проверял шаги восстановления. Я рекомендую перед операциями сброса / загрузки выполнить резервное копирование всей базы данных dconf, которая хранится в одном файле ~/.config/dconf/user
, с помощью простой стандартной операции копирования файловой системы (в отличие от некоторой команды dconf). В случае возникновения проблем вы можете восстановить его так же легко (возможно, из другого эмулятора терминала или консоли Linux).