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).