Сохранить и восстановить вкладки в терминале gnome

У нас есть GNOME Terminal 3.14.3. Эта версия не поддерживает --save-configвариант. Есть ли другой способ сделать это в этой версии? Как еще можно сохранить и восстановить вкладки? Какая версия терминала gnome позволит мне это сделать?

Ошибка:

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

Я предполагаю, что вы имеете в виду, что вы хотите сохранить свой текущий профиль терминала (но мне не хватает репутации, чтобы спросить это как комментарий). Если это так:

Вы можете попробовать зайти в настройки терминала. Рядом с Профили нажмите «+» рядом с «Профили», чтобы сохранить текущую конфигурацию (в данном примере она называется MYPROFILE).

Затем введите

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

Существует также --window-with-profileопция, которая создает новое окно терминала.

Я использую GNOME Terminal 3.32.1 в Ubuntu 19.04