Lưu và khôi phục các tab trong thiết bị đầu cuối gnome

Chúng tôi có thiết bị đầu cuối Gnome 3.14.3. Phiên bản này không hỗ trợ --save-configtùy chọn. Có cách nào khác để làm như vậy trong phiên bản này không? Làm thế nào người khác có thể lưu và khôi phục các tab? Phiên bản nào của thiết bị đầu cuối gnome sẽ cho phép tôi làm như vậy?

Lỗi là:

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

Tôi đoán bạn có nghĩa là bạn muốn lưu hồ sơ thiết bị đầu cuối hiện tại của bạn (nhưng tôi thiếu danh tiếng để yêu cầu điều này như là một nhận xét). Nếu đó là trường hợp:

Bạn có thể thử đi đến Sở thích đầu cuối của bạn. Bên cạnh Cấu hình, nhấp vào "+" bên cạnh "Cấu hình" để lưu cấu hình hiện tại (trong ví dụ này, được gọi MYPROFILE).

Sau đó gõ

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

Ngoài ra còn có một --window-with-profiletùy chọn, làm cho một cửa sổ thiết bị đầu cuối mới.

Tôi đang sử dụng Gnome Terminal 3.32.1 trên Ubuntu 19.04