Esta pregunta ya tiene respuestas aquí :¿Alguna forma rápida de guardar y restaurar pestañas de Terminal?
(13 respuestas)
Cerrado hace 3 años.
(13 respuestas)
Cerrado hace 3 años.
Tengo una gran lista de pestañas que están abiertas en cada terminal. Tendría que guardarlos con un nombre significativo y restaurarlos más tarde cuando los necesite.
Por lo que he comprobado en otro hilo, podría usar:
gnome-terminal –save-config
Sin embargo en mi gnome-terminal:
$ 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
¿Alguna otra opción disponible?
Respuesta aceptada:
opciones como --save-config --load-config realmente funcionó en versiones anteriores de gnome-terminal (por ejemplo, uno predeterminado en Ubuntu 14.04 LTS).
Pero ya no. La versión predeterminada 16.04 es GNOME Terminal 3.18.3, que ya ha eliminado dichas opciones.
Parece que la solución podría ser crear una versión anterior o cambiar a otro programa de terminal.