Respuestas:
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 el número apropiado de ventanas de terminal 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 terminal gnome de la manera que desee (es decir, número de pestañas, abierto a ciertos directorios), guarde el estado de la sesión desde su ventana de terminal gnome con el siguiente comando:
gnome-terminal --save-config = mytabs
Luego, lo que hago es crear un iniciador de aplicaciones personalizado en mi panel que ejecuta el siguiente comando
gnome-terminal --load-config = / home / leif / mytabs
Puede crear perfiles para Gnome-Terminal desde el Edit Profiles
cuadro de diálogo debajo del Edit
menú. Para iniciar Gnome-Terminal con un determinado perfil, debe hacer esto:
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, al iniciar sesión. Se pueden combinar varias opciones en un ícono de iniciador para darle un tipo de terminal específico, y puede crear tantos lanzadores como necesite diferentes tipos de terminal.
Otras opciones de 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. Vea man gnome-terminal
en su sistema los 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
gnome-terminal --save-config y --load-config son buenas opciones, aunque para que sea una prueba completa, he usado el siguiente script, el script es lento pero funciona para mí. 1. save-terminals.sh
FILE=$1
gnome-terminal --save-config=$FILE
LINES=($(grep -n '\[Terminal' $FILE | cut -d: -f1))
echo $LINES
for ((i=0; i<$(grep '\[Terminal' $FILE | wc -l); i++))
do
TITLE=$(xprop -id $WINDOWID WM_NAME | sed -e 's/WM_NAME(STRING) = "//' -e 's/"$//';xdotool key ctrl+Right;)
echo $TITLE
sed -ri "$((${LINES[$i]}+$i))s/.*/&\nTitle=$TITLE/" /tmp/test
done
2. load-terminals.sh
FILE=$1
LINES=$(grep '\[Terminal' $FILE | wc -l)
TITLE=($(grep -n '\Title' $FILE | cut -d= -f2))
gnome-terminal --load-config=$FILE
for ((i=0; i<$LINES; i++))
do
xdotool key Ctrl+Right
xdotool key "Return"
sleep 1
xdotool key Alt+t
sleep 1
xdotool key s
sleep 1
xdotool type ${TITLE[$i]}
xdotool key "Return"
xdotool key "Return"
sleep 1
done
xdotool key Alt+Tab
xdotool key Shift+Ctrl+Q
xdotool key "Return"
los durmientes son intencionales porque si se mueve rápido perderá la pista. También necesitas xdotool instalado. Cree el alias en el .bashrc como
alias st='save-terminals.sh ~/.terminal.cfg'
alias lt='load-terminals.sh ~/.terminal.cfg'
Espero que ayude