Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Terminal
-Reiter hinzufügen, entfernen und neu anordnen.
Jan Arne Petersen
jap@gnome.org 2007
Mario Blättermann
mario.blaettermann@gmail.com 2008-2010, 2012-2013
Christian Kirbach
christian.kirbach@gmail.com 2012, 2013

# Reiter verwalten

Die Reiterleiste erscheint oben als eine Reihe von Knöpfen in allen Terminal-Fenstern, die mehrere Reiter offen haben. Sie können auf die Knöpfe klicken, um zwischen den Reitern zu wechseln. Es können mehrere Reiter geöffnet werden, um Ihr Arbeiten mit Terminal zu erleichtern. Dies ermöglicht es Ihnen, gleichzeitig mehrere Aufgaben wie das Ausführen von Programmen, Durchsuchen von Ordnern und Bearbeiten von Textdateien in einem einzigen Terminal-Fenster zu erledigen.

# Einen neuen Reiter öffnen

So öffnen Sie einen neuen Reiter im aktuellen Terminalfenster:

Wählen Sie Datei Reiter öffnen.

Alternativ öffnen Sie einen neuen Reiter, indem Sie Umschalttaste Strg T drücken.

# Einen Reiter umbenennen

Jeder Reiter hat einen automatisch zugewiesenen Titel. Sie können die Reiter individuell umbenennen:

Wählen Sie Terminal Titel festlegen ….

Geben Sie den gewünschten Titel und den gewünschten Namen für den Reiter ein. Damit werden alle Titel überschrieben, die durch Terminal-Befehle festgelegt werden.

Es ist nicht möglich, einen Titel zurückzunehmen, sobald er für einen Reiter festgelegt wurde. Um den Titel zu sehen, müssen Sie in den Profileinstellungen erlauben, dass Titel von Terminal-Befehlen angezeigt werden.

Klicken Sie auf OK.

# Einen Reiter entfernen

So schließen Sie einen offenen Reiter im aktuellen Terminal-Fenster:

Wählen Sie Datei Reiter schließen.

Alternativ können Sie auf das × in der oberen rechten Ecke eines Reiters klicken, oder mit der rechten Maustaste auf den Reiter klicken und Reiter schließen wählen.

# Reiter neu anordnen

So ändern Sie die Reihenfolge von Reitern in einem Fenster:

Klicken Sie mit der linken Maustaste auf den Reiter und halten Sie diese gedrückt.

Verschieben Sie den Reiter an die gewünschte Position zwischen die anderen Reiter.

Lassen Sie die Maustaste los.

Der Reiter wird am nächsten zu der Position platziert, wo Sie den Reiter ablegen, unmittelbar neben anderen geöffneten Reitern.

Alternativ können Sie einen Reiter neu anordnen, indem Sie mit der rechten Maustaste auf den Reiter klicken und Reiter nach links verschieben wählen, um den Reiter nach links zu verschieben, oder Reiter nach rechts verschieben wählen, um den Reiter nach rechts zu verschieben. Dadurch wird die Position des Reiters jeweils um eine Position neu angeordnet.

# Einen Reiter in ein anderes Terminal-Fensters verschieben

So verschieben Sie einen Reiter von einem Fenster in ein anderes Fenster:

Klicken Sie mit der linken Maustaste auf den Reiter und halten Sie diese gedrückt.

Ziehen Sie den Reiter in ein neues Fenster.

Setzen Sie ihn neben andere Reiter im neuen Fenster.

Lassen Sie die Maustaste los.

Sie können einen Reiter von einem Fenster in ein anderes verschieben, indem Sie den Reiter mit der Maus auf Aktivitäten in der linken oberen Ecke der GNOME Shell ziehen. So wird jedes der offenen Terminal-Fenster angezeigt. Legen Sie den Reiter auf dem gewünschten Terminal-Fenster ab.

# Einen Reiter zum Öffnen eines neuen Terminal-Fensters verschieben

So erstellen Sie ein neues Fenster aus einem vorhandenen Reiter:

Klicken Sie mit der linken Maustaste auf den Reiter und halten Sie diese gedrückt.

Ziehen Sie den Reiter mit der Maus aus dem aktuellen Terminal-Fenster heraus.

Lassen Sie die Maustaste los.