GNOME Terminal itu sendiri tidak menyediakan opsi seperti itu, jadi Anda harus beroperasi secara manual pada databasenya.
Dimulai dengan versi 3.8 yang digunakan GSettings, yang pada gilirannya (setidaknya pada sistem Linux) menggunakan dconf. Mungkin akan lebih elegan jika menggunakan gsettingsalat ini. Sayangnya saya tidak tahu cara membuang semua data yang relevan di sana, apalagi mengembalikannya. Jadi mari kita gunakan dconf.
Berdasarkan artikel ini , Anda dapat membuang pengaturan Anda menggunakan:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Reset (hapus) pengaturan sebelum memuat yang baru (mungkin tidak benar-benar diperlukan):
dconf reset -f /org/gnome/terminal/
Muat pengaturan yang disimpan:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Penafian: Saya belum menguji langkah pemulihan. Saya merekomendasikan bahwa sebelum operasi reset / load Anda mencadangkan seluruh basis data dconf Anda, yang disimpan dalam file tunggal ~/.config/dconf/user, menggunakan operasi penyalinan sistem file standar sederhana (sebagai lawan dari beberapa perintah dconf). Jika ada masalah, Anda dapat memulihkannya dengan mudah (mungkin dari emulator terminal lain atau konsol Linux).