GNOME »

Terminal-Handbuch

Einführung — Erfahren Sie mehr über den GNOME Terminal-Emulator.
Überblick über ein Terminal — Was ist ein Terminal?

Erste Schritte

Einen Befehl ausführen — Ein Programm starten oder einen Befehl mit Terminal ausführen.
Reiter verwenden — Terminal-Reiter aktivieren, hinzufügen, entfernen und neu anordnen.

Arbeiten mit Text

Kopieren und Einfügen — Text im Terminal kopieren und einfügen.
Nach Text suchen — Die Ausgaben im Terminal durchsuchen.
Save contents — Save Terminal output to a file.
Textauswahl — Wählen Sie einzelne Wörter oder Zeilen im Terminal aus.
Verweise und E-Mail-Adressen — Verweise auf Web- und E-Mail-Adressen öffnen.

Erscheinungsbild anpassen

Eingabemarke ändern — Verschiedene Erscheinungsformen für die Eingabemarke wählen.
Farbschemata — Farben und Hintergründe wechseln.
Fenster und Reiter — Wählen Sie, ob Sie per Vorgabe ein neues Fenster oder einen neuen Reiter öffnen möchten.
Schrift und Schriftart ändern — Systemschriften oder eigene Schriften für das Terminal wählen.
Sitzung im Vollbild-Modus — Vollbild-Modus aktivieren.
Terminal-Größen — Ändern Sie die Fenstergröße des Terminals.
Vergrößern und verkleinern — Die Textgröße erhöhen oder verringern.

Verhalten anpassen

Barrierefreiheit der Tastatur — In den Menüs von Terminal mit der Tastatur arbeiten.
Benutzereingabe deaktivieren — Benutzereingaben nicht an die im Terminal laufende Anwendung übergeben.
Eigene Befehle und Shells — Festlegen, dass Terminal einen Befehl oder eine andere Shell beim Start ausführt.
Einstellungen für die Bildlaufleiste — Die Ausgabe bei Bildlauf und das Verhalten der Bildlaufleiste ändern.
Hörbare Glocke einstellen — Hörbare Benachrichtigungen in Terminal aktivieren.
Login-Shells — Eine Login-Shell in Terminal starten.
Sichtbarkeit der Menüleiste — Die Menüleiste anzeigen und verbergen.
Verhalten beim Beenden von Befehlen — Das Verhalten von Terminal festlegen, wenn ein benutzerdefinierter Befehl oder die voreingestellte Shell beendet wird.
Verwalten von Profilen — Erstellen, Umbenennen und Löschen von Profilen.

Erweiterte Einstellungen

Die Zeichenkodierung im Profil ändern — Eine andere Kodierung für jedes gespeicherte Profil einstellen.
Tastenkombinationen — Tastenkombinationen betrachten und bearbeiten.
Zeichen sind zu schmal — Zeichen mit mehrdeutiger Breite breit anstatt schmal darstellen.

Fehlersuche

Das Terminal zurücksetzen — Wie kann ich meinen Terminal-Bildschirm retten, wenn er eingefroren ist oder viele seltsame Symbole darauf erscheinen?