Go to page content
Go to main menu
Go to the search field

Terminal-Einstellungen

Globale Einstellungen

Barrierefreiheit der Tastatur — In den Menüs von Terminal mit der Tastatur arbeiten.

Sichtbarkeit der Menüleiste — Die Menüleiste anzeigen und verbergen.

Tastenkombinationen — Tastenkombinationen betrachten und bearbeiten.

Profile verwalten

Verwalten von Profilen — Erstellen, umbenennen und Löschen von Profilen.

Profileinstellungen

Die Zeichenkodierung im Profil ändern — Eine andere Kodierung für jedes gespeicherte Profil einstellen.

Eigene Befehle und Shells — Festlegen, dass Terminal einen Befehl oder eine andere Shell beim Start ausführt.

Eingabemarke ändern — Verschiedene Erscheinungsformen für die Eingabemarke wählen.

Einstellungen für die Bildlaufleiste — Die Ausgabe bei Bildlauf und das Verhalten der Bildlaufleiste ändern.

Farbschemata — Farben und Hintergründe wechseln.

Hörbare Glocke einstellen — Hörbare Benachrichtigungen in Terminal aktivieren.

Login-Shells — Eine Login-Shell in Terminal starten.

Schrift und Schriftart ändern — Systemschriften oder eigene Schriften für das Terminal wählen.

Verhalten beim Beenden von Befehlen — Das Verhalten von Terminal festlegen, wenn ein benutzerdefinierter Befehl oder die voreingestellte Shell beendet wird.

Zeichen sind zu schmal — Zeichen mit mehrdeutiger Breite breit anstatt schmal darstellen.

Haben Sie etwas anzumerken? Einen Fehler gefunden? Irgendwelche Unklarheiten? Rückmeldungen zu dieser Seite senden.