Terminal-Profile erstellen und Verwalten
Ein Profil ist eine Sammlung von Einstellungen für Stile und Verhalten für ein Terminal-Fenster. In einem Profil lassen sich Einstellungen wie Hintergrundfarbe, Schrift, Zeigerform usw. speichern.
In Terminal ist eine Reihe vordefinierter Profile enthalten, die Standardprofile genannt werden. Du kannst jedoch auch eigene Profile erstellen.
Neues Profil erstellen
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Klicke auf die Taste „Hinzufügen“
unterhalb der Liste mit den Profilen.Gib einen Namen für das neue Profil ein.
Wähle Einstellungen für das neue Profil.
Profil ändern
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Wähle das Profil aus, das du ändern möchtest.
Nimm Änderungen an den Profileinstellungen vor.
Profil umbenennen
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Wähle den Namen des Profils, das du umbenennen willst, durch Doppelklicken aus.
Gib einen neuen Namen ein und drücke den Zeilenschalter.
Profil kopieren
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Wähle das Profil aus, das du kopieren willst.
Klicke auf das Aktionsmenü
und wähle „Profil duplizieren“.Gib einen Namen für das kopierte Profil ein und drücke den Zeilenschalter.
Profil entfernen
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Wähle das Profil aus, das du entfernen möchtest.
Klicke auf die Taste „Löschen“
unterhalb der Liste mit den Profilen.
Standardprofile wiederherstellen
Wenn du eines der Standardprofile von Terminal entfernt oder geändert hast, kannst du diese mit den Originaleinstellungen wieder in die Liste der Profile einfügen. Es ist nur möglich, die gesamte Gruppe von Standardprofilen wiederherzustellen, d. h., Standardprofile lassen sich nicht einzeln wiederherstellen.
Wenn du eines der Standardprofile angepasst hast und deine Änderungen sichern willst, musst du es vor der Wiederherstellung der Standardprofile umbenennen. Beim Wiederherstellen werden die Einstellungen für jedes der Standardprofile überschrieben.
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Klicke auf das Aktionsmenü
und wähle „Standardprofile wiederherstellen“.