Speichern und Wiederherstellen von Registerkarten im Gnome-Terminal

Wir haben GNOME Terminal 3.14.3. Diese Version unterstützt keine --save-configOption. Gibt es in dieser Version eine andere Möglichkeit? Wie sonst kann man Tabs speichern und wiederherstellen? Mit welcher Version des Gnome-Terminals kann ich das tun?

Der Fehler ist:

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

Ich nehme an, Sie meinen, Sie möchten Ihr aktuelles Terminalprofil speichern (aber mir fehlt der Ruf, dies als Kommentar zu erfragen). Wenn das der Fall ist:

Sie können versuchen, zu Ihren Terminaleinstellungen zu wechseln. Klicken Sie neben Profile auf das "+" neben "Profile", um die aktuelle Konfiguration zu speichern (in diesem Beispiel aufgerufen MYPROFILE).

Geben Sie dann ein

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

Es gibt auch eine --window-with-profileOption, die ein neues Terminalfenster erstellt.

Ich verwende GNOME Terminal 3.32.1 unter Ubuntu 19.04