(13 Antworten)
Vor 3 Jahren geschlossen.
Ich habe eine große Liste von Registerkarten, die in jedem Terminal geöffnet sind. Ich müsste sie unter einem aussagekräftigen Namen speichern und später wiederherstellen, wenn ich sie brauche.
Von dem, was ich in einem anderen Thread überprüft habe, könnten Sie Folgendes verwenden:
gnome-terminal –save-config
Allerdings in meinem 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
Ist eine andere Option verfügbar?
Akzeptierte Antwort:
Optionen wie --save-config --load-config Hat wirklich in früheren Versionen von Gnome-Terminal funktioniert (zum Beispiel Standard in Ubuntu 14.04 LTS).
Aber nicht mehr. Auf 16.04 ist die Standardversion GNOME Terminal 3.18.3, aus der solche Optionen bereits entfernt wurden.
Scheint, als könnte die Lösung darin bestehen, eine ältere Version zu erstellen oder zu einem anderen Terminalprogramm zu wechseln.