Encontré las siguientes opciones que son útiles:
--load-config=FILE Load a terminal configuration file
--save-config=FILE Save the terminal configuration to a file
Lo anterior restaura la cantidad adecuada de ventanas de terminal de gnome con las pestañas adecuadas, pero la posición y el título de la ventana no se restauran. Aún así, un comienzo :)
Una vez que haya configurado su gnome-terminal de la manera que desee (es decir, número de pestañas, abierto en ciertos directorios), guarde el estado de la sesión desde la ventana de su gnome-terminal con el siguiente comando:
gnome-terminal --save-config=mistabs
Luego, lo que hago es crear un lanzador de aplicaciones personalizado en mi panel que ejecuta el siguiente comando
gnome-terminal --load-config=/home/leif/mytabs
Puedes crear perfiles para Gnome-Terminal desde el Edit Profiles
cuadro de diálogo bajo el Edit
menú. Para iniciar Gnome-Terminal con un perfil determinado, haría lo siguiente:
gnome-terminal --window-with-profile=<profile_name>
Naturalmente, puede configurar diferentes íconos de inicio para iniciar automáticamente diferentes perfiles, o puede incluir líneas en un script de inicio de sesión X para iniciar varios terminales diferentes, cada uno con un perfil diferente, cuando inicie sesión. Se pueden combinar varias opciones en un ícono de iniciador para brindarle un tipo de terminal específico, y puede crear tantos iniciadores como necesite diferentes tipos de terminal.
Otras opciones de la línea de comandos pueden ser útiles para obtener exactamente el efecto que desea, si el mecanismo del perfil no es lo suficientemente detallado para usted. Ver man gnome-terminal
en su sistema para obtener detalles completos, pero aquí hay algunas sugerencias de esta discusión en el foro de Ubuntu:
# define a terminal 100 columns by 20 lines
--geometry=100x20
# set the titlebar
--title=irssi
# run a particular program
--execute irssi