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
Jawaban:
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