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