Antworten:
Ich habe die folgenden Optionen gefunden, die hilfreich sind:
--load-config=FILE Load a terminal configuration file
--save-config=FILE Save the terminal configuration to a file
Das oben Genannte stellt die entsprechende Anzahl von Gnome-Terminal-Fenstern mit den richtigen Registerkarten wieder her, aber die Fensterposition und der Titel werden nicht wiederhergestellt. Trotzdem ein Anfang :)
Sobald Sie Ihr Gnome-Terminal so konfiguriert haben, wie Sie es möchten (dh Anzahl der Registerkarten, die für bestimmte Verzeichnisse geöffnet sind), speichern Sie den Sitzungsstatus in Ihrem Gnome-Terminal-Fenster mit dem folgenden Befehl:
gnome-terminal --save-config = mytabs
Anschließend erstelle ich auf meinem Bedienfeld einen benutzerdefinierten Anwendungsstarter , der den folgenden Befehl ausführt
gnome-terminal --load-config = / home / leif / mytabs
Sie können Profile für Gnome-Terminal über den Edit Profiles
Dialog unter dem Edit
Menü erstellen . So starten Sie Gnome-Terminal mit einem bestimmten Profil:
gnome-terminal --window-with-profile=<profile_name>
Natürlich können Sie verschiedene Startsymbole so konfigurieren, dass automatisch verschiedene Profile gestartet werden, oder Sie können Zeilen in ein X-Session-Startskript aufnehmen, um mehrere verschiedene Terminals mit jeweils einem anderen Profil zu starten, wenn Sie sich anmelden. In einem Starter-Symbol können verschiedene Optionen kombiniert werden, um einen bestimmten Terminaltyp zu erhalten, und Sie können so viele Starter erstellen, wie Sie verschiedene Terminaltypen benötigen.
Andere Befehlszeilenoptionen können hilfreich sein, um genau den gewünschten Effekt zu erzielen, wenn der Profilmechanismus für Sie nicht detailliert genug ist. man gnome-terminal
Ausführliche Informationen finden Sie auf Ihrem System. Hier sind jedoch einige Vorschläge aus dieser Ubuntu-Forumsdiskussion :
# 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 und --load-config sind gute Optionen, obwohl das Skript langsam ist, aber für mich funktioniert. 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"
Der Schlaf ist beabsichtigt, denn wenn er sich schnell bewegt, verliert er die Spur. Außerdem muss xdotool installiert sein. Erstellen Sie den Alias in der .bashrc als
alias st='save-terminals.sh ~/.terminal.cfg'
alias lt='load-terminals.sh ~/.terminal.cfg'
hoffentlich hilft das