GNOME »

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.