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