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.
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.
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.
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.
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.
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.
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.
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.
Haben Sie etwas anzumerken? Einen Fehler gefunden? Irgendwelche Unklarheiten? Rückmeldungen zu dieser Seite senden.