Enregistrer et restaurer vos onglets de terminal ?

Cette question a déjà des réponses ici :Un moyen rapide de sauvegarder et de restaurer des onglets de Terminal ?

(13 réponses)
Fermé il y a 3 ans.

J'ai une grande liste d'onglets qui sont ouverts dans chaque terminal. Je devrais les enregistrer avec un nom significatif et les restaurer plus tard lorsque j'en aurai besoin.
D'après ce que j'ai vérifié dans un autre fil, vous pouvez utiliser :
gnome-terminal –save-config
Cependant dans mon 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

Une autre option disponible ?

Réponse acceptée :

des options comme --save-config --load-config fonctionnait vraiment dans les versions précédentes de gnome-terminal (par exemple celle par défaut dans Ubuntu 14.04 LTS).
Mais plus maintenant. Sur 16.04, la version par défaut est GNOME Terminal 3.18.3, qui a déjà supprimé ces options.
Il semble que la solution pourrait être de créer une version plus ancienne ou de passer à un autre programme de terminal.