Durch das Ändern dieser Steuerung wird die Seite neu geladen
Importieren und Exportieren von Profilen
Wenn du Terminal-Einstellungen zwischen Computern übertragen willst, kannst du Einstellungsdateien importieren und exportieren. Die Einstellungsdateien von Terminal enden mit der Erweiterung „.terminal“.
Einstellungsdatei importieren
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Klicke auf das Aktionsmenü
und wähle „Importieren“.Wähle die Datei aus, die du importieren möchtest, und klicke dann auf „Öffnen“.
Einstellungsdatei exportieren
Wähle „Terminal“ > „Einstellungen“ und klicke anschließend auf „Profile“.
Klicke auf das Aktionsmenü
und wähle „Exportieren“.Gib einen Namen für die Einstellungsdatei ein und klicke auf „Sichern“.