экспорт / импорт настроек профиля gnome-terminal [duplicate]
У меня есть несколько систем с Ubuntu 16.04. Я использую git для управления моим. файлы, поэтому я могу поддерживать одни и те же настройки в разных системах, но параметры gnome-terminal не находятся в этих файлах, а вместо этого в gconf. Теперь я добавляю систему Ubuntu 18.04, и мне бы хотелось экспортировать мои настройки с 16.04 и импортировать их в мою систему 18.04.
Как это сделать для настроек gnome-terminal с 16.04 по 18.04?
2 ответа
После того, как я разместил вышеупомянутый вопрос, я нашел ответ в предложенных ответах:
Предыдущий ответ: Резервное копирование GNOME-Terminal | Попросите Ubuntu
синопсис: сохранить настройки:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Загрузить сохраненные настройки:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
После того, как я разместил вышеупомянутый вопрос, я нашел ответ в предложенных ответах:
Предыдущий ответ: Резервное копирование GNOME-Terminal | Попросите Ubuntu
синопсис: сохранить настройки:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Загрузить сохраненные настройки:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt