Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Erstellen, umbenennen und Löschen von Profilen.
Jan Arne Petersen
jap@gnome.org 2007
Mario Blättermann
mario.blaettermann@gmail.com 2008-2010, 2012-2013, 2018, 2020
Christian Kirbach
christian.kirbach@gmail.com 2012, 2013, 2014, 2015, 2018
Benjamin Steinwender
b@stbe.at 2014
Bernd Homuth
dev@hmt.im 2014, 2015
Tim Sabsch
tim@sabsch.com 2018

# 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.

# Wählen Sie ein Profil

Sofern Sie mehrere Profile definiert haben wechseln Sie das Profil ihres aktuellen Terminal-Reiters oder -Fensters, indem Sie ein Profil unter Terminal Profil wechseln auswählen.

# Ein neues Profil anlegen

So legen Sie ein neues Profil mit den Vorgabeeinstellungen von Terminal an:

Wählen Sie Bearbeiten Einstellungen.

Klicken Sie in der Seitenleiste auf den Knopf + neben der Beschriftung Profile.

Geben Sie den Namen des neuen Profils ein. Sie können den Namen später ändern.

Klicken Sie auf Anlegen, um das neue Profil zu erstellen.

Legen Sie die gewünschten Profileinstellungen fest. Sie werden dann automatisch gespeichert.

# Ein neues Profil basierend auf einem bestehenden Profil anlegen

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

Wählen Sie Bearbeiten Einstellungen.

Wählen Sie in der Seitenleiste das Profil aus, auf dem das neue Profil basieren soll.

Klicken Sie auf den Pfeil neben dem Profilnamen.

Wählen Sie Duplizieren ….

Geben Sie den Namen des neuen Profils ein. Sie können den Namen später ändern.

Klicken Sie auf Dupliziere, um das neue Profil anzulegen.

Legen Sie die gewünschten Profileinstellungen fest. Sie werden dann automatisch gespeichert.

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 anpassen. So bearbeiten Sie ein Profil:

Wählen Sie Bearbeiten Einstellungen.

Ihr aktuelles Profil ist in der Seitenleiste ausgewählt. Wenn Sie ein anderes Profil bearbeiten möchten, so klicken Sie auf den entsprechenden Namen.

Sobald das gewünschte Profil ausgewählt wurde, können Sie:

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.

# Ein bestehendes Profil umbenennen

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

Wählen Sie Bearbeiten Einstellungen.

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

Klicken Sie auf den Pfeil neben dem Profilnamen.

Wählen Sie Umbenennen ….

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

Klicken Sie zum Umbenennen auf Umbenennen.

# Ein Profil löschen

So löschen Sie ein Profil:

Wählen Sie Bearbeiten Einstellungen.

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

Klicken Sie auf den Pfeil neben dem Profilnamen.

Wählen Sie Löschen ….

Klicken Sie zur Bestätigung auf Löschen.

Das voreingestellte Profil kann nicht gelöscht werden. Falls Sie dieses Profil löschen möchten, legen Sie zunächst ein anderes Profil als Vorgabe fest.

# Ein voreingestelltes Profil festlegen

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.

Das voreingestellte Profil wird verwendet, wenn Terminal nicht anderweitig entscheiden konnte, welches Profil verwendet werden soll. Zum Beispiel, wenn Terminal neu startet und das erste Terminal-Fenster öffnet. Wenn Sie im Gegensatz dazu einen Menüeintrag oder ein Tastenkürzel in Terminal verwenden, um ein neues Terminal zu öffnen, wird das Profil des bestehenden Terminals übernommen.

Wählen Sie Bearbeiten Einstellungen.

Wählen Sie das Profil aus, welches Sie zur Vorgabe machen wollen.

Klicken Sie auf den Pfeil neben dem Profilnamen.

Wählen Sie Als Vorgabe festlegen.

Das voreingestellte Profil ist mit einem Häkchen-Symbol markiert.