Этот вопрос здесь уже есть ответ:
У меня есть большой список вкладок, открытых в каждом терминале. Мне нужно будет сохранить их с осмысленным именем и восстановить позже, когда они мне понадобятся.
Из того, что я проверил в другом потоке, вы можете использовать:
gnome-terminal --save-config
Однако в моем gnome-terminal:
$ gnome-terminal --save-config=/tmp/cfg
Option "--save-config" is no longer supported in this version of gnome-terminal.
$ gnome-terminal --version
GNOME Terminal 3.22.1 Using VTE version 0.46.1 +GNUTLS
Доступны ли другие варианты?
опции, такие как --save-config --load-config
, действительно работали в предыдущих версиях gnome-терминала (например, по умолчанию в Ubuntu 14.04 LTS). Но не больше. На 16.04 по умолчанию установлена версия GNOME Terminal 3.18.3, в которой такие опции уже удалены. Похоже, что решением может быть создание более старой версии или переключение на другую терминальную программу.