Salvare e ripristinare le schede del terminale?

Questa domanda ha già risposte qui :Un modo rapido per salvare e ripristinare le schede di Terminale?

(13 risposte)
Chiuso 3 anni fa.

Ho un ampio elenco di schede aperte in ogni terminale. Avrei bisogno di salvarli con un nome significativo e ripristinarli in seguito quando ne ho bisogno.
Da quello che ho verificato in un altro thread potresti usare:
gnome-terminal –save-config
Comunque nel mio gnome-terminale:

$ 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

Qualche altra opzione disponibile?

Risposta accettata:

opzioni come --save-config --load-config funzionava davvero nelle versioni precedenti di gnome-terminal (ad esempio quella predefinita in Ubuntu 14.04 LTS).
Ma non più. Su 16.04 la versione predefinita è GNOME Terminal 3.18.3 che ha già rimosso tali opzioni.
Sembra che la soluzione potrebbe essere creare una versione precedente o passare a un altro programma terminale.