Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Erstellen, Bearbeiten und Löschen von Profilen.
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, 2014, 2015
Benjamin Steinwender
b@stbe.at 2014
Bernd Homuth
dev@hmt.im 2014, 2015

# Verwalten von Profilen

Ein Profil ist eine Sammlung von Terminal-Einstellungen. Terminal unterstützt mehrere Profile. Sie können Terminal-Profile so einrichten, dass ein benutzerdefinierter Befehl oder Shell ausgeführt wird, ein Profil exklusiv für eine Verbindung zu einem entfernten Rechner mittels SSH eingerichtet wird, oder ein Profil eine GNU Screen-Sitzung startet.

Verfügbare Terminal-Einstellungen sind unter Anderen:

Profilname.

Schriftart und Hintergrundfarben.

Kompatibilität mit der Rücktaste und der Löschen-Taste.

Bildlauf.

Das voreingestellte Profil wird geladen, sobald ein neues Terminal geöffnet wird, es sei denn, es ist ein anderes Profil ausgewählt. Jegliche Änderungen, die Sie an den Einstellungen vornehmen, werden in dem aktuell verwendeten Profil gespeichert.

# Ein vorgegebenes Profil festlegen

Das voreingestellte Profil ist eine Zusammenstellung von Profileinstellungen, die beim Start eines jeden Terminal-Reiters oder -Fensters angewendet werden.

Wählen Sie Bearbeiten Einstellungen Profile.

Wählen Sie das Profil, welches als voreingestelltes Profil festgelegt werden soll, aus der Auswahlliste Beim Starten eines neuen Terminals verwendetes Profil.

# Wählen Sie ein Profil

Sie können das Profil in Ihrem aktuellen Reiter oder Fenster von Terminal wechseln, indem Sie ein Profil unter Terminal Profil wechseln auswählen.

# Ein neues Profil erstellen

Änderungen an einem neuen Profil werden automatisch gespeichert. So erstellen Sie ein neues Profil:

Wählen Sie Datei Neues Profil.

Geben Sie den Namen des neuen Profils neben Profilname ein.

Wählen Sie Schrift, Form der Eingabemarke und Fenstergröße im Reiter Allgemein.

Legen Sie das gewünschte Verhalten für den Befehl exit fest. Sie können auch eine benutzerdefinierte Shell im Reiter Befehl festlegen.

Legen Sie Ihr bevorzugtes Thema und Farben im Reiter Farben fest.

Legen Sie Ihre Bildlauf-Eigenschaften im Reiter Bildlauf fest.

# Ein neues Profil basierend auf einem bestehenden Profil erstellen

Sie können ein neues Profil basierend auf den Einstellungen eines bestehenden Profils erstellen:

Wählen Sie das zu bearbeitende Profil in Terminal Profil ändern Profilname aus, wobei Profilname der Name des Profils ist, das bearbeitet werden soll. Alternativ können Sie Datei Neues Profil wählen, um das gegenwärtig verwendete Profil zu duplizieren.

Legen Sie die gewünschten Profileinstellungen fest. Diese werden dann automatisch gespeichert. Wenn Sie den Profilnamen nicht im Reiter Allgemein aktualisieren, wird das neue Profil nicht das Profil überschreiben, von dem es abgeleitet ist.

Alternativ können Sie zunächst eine Kopie des bestehenden Profils erstellen und dann das Profil bearbeiten:

Wählen Sie Bearbeiten Einstellungen Profile.

Wählen Sie das gewünschte Profil.

Klicken Sie auf Duplizieren.

Legen Sie die gewünschten Profileinstellungen fest. Sie werden dann automatisch gespeichert. Wenn Sie den Profilnamen nicht ändern, wird das neue Profil nicht das Profil überschreiben, von dem es abgeleitet ist.

Das Erstellen eines neuen Profils aus einem bestehen Profil beeinflusst nicht die Einstellungen eines bestehenden Profils. Alle Änderungen der Einstellungen werden in dem neuen Profil gespeichert.

# Ein Profil bearbeiten

Wenn das Standard-Profil bearbeitet wird, kann es nicht auf die ursprünglichen Einstellungen zurückgesetzt werden! Falls Sie kein anderes Terminal-Profil angelegt haben und das Standard-Profil verändert wurde, könnte Terminal unbrauchbar werden, falls einige Einstellungen Probleme verursachen. Es wird empfohlen, dass Sie eine Kopie des Standard-Profils erstellen und dann die Kopie zum Erstellen eines angepassten Profils verwenden.

Sie können bestehende Profile ändern. Um ein Profil zu bearbeiten, wählen Sie Bearbeiten Profileinstellungen.

Wählen Sie Schrift, Form der Eingabemarke und Terminalgröße.

Passen Sie bei Bedarf das Verhalten von Terminal bei Befehlsende an, legen Sie eine benutzerdefinierte Login-Shell fest oder ändern Sie die Einstellungen der Bildlaufleiste.

Um den Hintergrund und Textfarben in Terminal zu ändern, lesen Sie bitte über Farbschemata in Terminal.

Änderungen werden sofort gespeichert. Klicken Sie auf Schließen, um zu Terminal zurückzukehren.

Um sicher zu gehen, dass Sie das gewünschte Profil bearbeiten, wählen Sie das Profil unter Terminal Profil wechseln.

# Ein bestehendes Profil umbenennen

Sie können bestehende Profile umbenennen, einschließlich des voreingestellten Profils:

Wählen Sie Bearbeiten Einstellungen Profile.

Wählen Sie das Profil aus, welches Sie umbenennen wollen.

Klicken Sie auf Bearbeiten. Daraufhin öffnet sich der Dialog der Profileinstellungen für das gewählte Profil.

Geben Sie im Eingabefeld Profilname den Namen für das neue Profil ein.

Klicken Sie zum Zurückkehren auf Schließen.

# Ein Profil löschen

So löschen Sie ein Profil:

Wählen Sie Bearbeiten Einstellungen Profile.

Wählen Sie das zu löschende Profil aus.

Klicken Sie auf Löschen.