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 Obige 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 (z. B. Anzahl der Registerkarten, Öffnen bestimmter Verzeichnisse), speichern Sie den Sitzungsstatus in Ihrem Gnome-Terminal-Fenster mit dem folgenden Befehl:
gnome-terminal --save-config=mytabs
Dann erstelle ich einen benutzerdefinierten Anwendungsstarter auf meinem Panel, das den folgenden Befehl ausführt
gnome-terminal --load-config=/home/leif/mytabs
Sie können Profile für das Gnome-Terminal aus dem Edit Profiles erstellen Dialog unter Edit Speisekarte. Um Gnome-Terminal mit einem bestimmten Profil zu starten, würden Sie Folgendes tun:
gnome-terminal --window-with-profile=<profile_name>
Natürlich können Sie verschiedene Launcher-Symbole konfigurieren, um automatisch verschiedene Profile zu starten, oder Sie könnten Zeilen in ein X-Session-Startskript einfügen, um mehrere verschiedene Terminals mit jeweils einem anderen Profil zu starten, wenn Sie sich anmelden. Verschiedene Optionen können in einem Launcher-Symbol kombiniert werden, um Ihnen einen bestimmten Terminaltyp zu geben, und Sie können so viele Launcher erstellen, wie Sie verschiedene Terminaltypen benötigen.
Andere Befehlszeilenoptionen können nützlich sein, um genau den gewünschten Effekt zu erzielen, wenn der Profilmechanismus für Sie nicht feinkörnig genug ist. Siehe man gnome-terminal auf Ihrem System für alle Details, aber hier sind einige Vorschläge aus dieser Diskussion im Ubuntu-Forum:
# define a terminal 100 columns by 20 lines
--geometry=100x20
# set the titlebar
--title=irssi
# run a particular program
--execute irssi