Simpan dan pulihkan tab di terminal gnome

Kami memiliki Terminal GNOME 3.14.3. Versi ini tidak mendukung --save-configopsi. Apakah ada cara lain untuk melakukannya di versi ini? Bagaimana lagi yang bisa menyimpan dan mengembalikan tab? Versi terminal gnome apa yang memungkinkan saya melakukannya?

Kesalahannya adalah:

Option "--save-config" is no longer supported in this version of gnome-terminal

Saya kira Anda bermaksud bahwa Anda ingin menyimpan profil terminal Anda saat ini (tetapi saya tidak memiliki reputasi untuk menanyakan ini sebagai komentar). Jika itu masalahnya:

Anda dapat mencoba membuka Preferensi Terminal Anda. Di sebelah Profil, klik "+" di sebelah "Profil" untuk menyimpan konfigurasi saat ini (dalam contoh ini, dipanggil MYPROFILE).

Kemudian ketik

gnome-terminal --tab-with-profile=MYPROFILE

Ada juga --window-with-profileopsi, yang membuat jendela terminal baru.

Saya menggunakan Terminal GNOME 3.32.1 di Ubuntu 19.04