Salve e restaure suas guias do Terminal [duplicado]

Question

Eu tenho uma grande lista de guias que estão abertas em cada terminal. Eu precisaria salvá-los com um nome significativo e restaurá-los mais tarde, quando eu precisar deles. Pelo que verifiquei em outro tópico, você pode usar: gnome-terminal --save-config No entanto, no meu terminal gnome:

$ 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

Alguma outra opção disponível?

    

Answer 1

opções como --save-config --load-config realmente funcionaram em versões anteriores do gnome-terminal (por exemplo, padrão no Ubuntu 14.04 LTS). Mas não mais. No 16.04, a versão padrão é o Terminal GNOME 3.18.3, que já tem essas opções removidas. Parece que a solução poderia ser construir uma versão mais antiga ou mudar para outro programa de terminal.