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