Temos o GNOME Terminal 3.14.3. Esta versão não suporta a --save-configopção. Existe alguma outra maneira de fazer isso nesta versão? De que outra forma alguém pode salvar e restaurar guias? Qual versão do terminal gnome me permitirá fazer isso?
O erro é:
Option "--save-config" is no longer supported in this version of gnome-terminal
Respostas:
Suponho que você queira dizer que deseja salvar seu perfil atual de terminal (mas não tenho reputação de pedir isso como comentário). Se for esse o caso:
Você pode tentar acessar as Preferências do terminal. Ao lado de Perfis, clique no "+" ao lado de "Perfis" para salvar a configuração atual (neste exemplo, chamada MYPROFILE).
Então digite
gnome-terminal --tab-with-profile=MYPROFILE
Existe também a --window-with-profileopção, que cria uma nova janela do terminal.
Estou usando o GNOME Terminal 3.32.1 no Ubuntu 19.04