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