Salvar e restaurar guias no terminal gnome

9

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
nish
fonte

Respostas:

1

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).

insira a descrição da imagem aqui

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

Strauss
fonte