Guardar y restaurar pestañas en la terminal de GNOME

9

Tenemos GNOME Terminal 3.14.3. Esta versión no es compatible con la --save-configopción. ¿Hay alguna otra forma de hacerlo en esta versión? ¿De qué otra manera se pueden guardar y restaurar pestañas? ¿Qué versión del terminal gnome me permitirá hacerlo?

El error es:

Option "--save-config" is no longer supported in this version of gnome-terminal
gnome-terminal nish
fuente

Respuestas:

1

Supongo que quiere decir que desea guardar su perfil de terminal actual (pero me falta la reputación para preguntar esto como un comentario). Si ese es el caso:

Puede intentar ir a sus Preferencias de Terminal. Junto a Perfiles, haga clic en "+" junto a "Perfiles" para guardar la configuración actual (en este ejemplo, llamada MYPROFILE).

ingrese la descripción de la imagen aquí

Luego escribe

gnome-terminal --tab-with-profile=MYPROFILE

También hay una --window-with-profileopción, que crea una nueva ventana de terminal.

Estoy usando GNOME Terminal 3.32.1 en Ubuntu 19.04

Strauss
fuente