GNOME » GNOME 51 »

Terminal-indstillinger

Globale indstillinger

Menulinjens synlighed — Vis og skjul menulinjen.
Tastaturgenveje — Vis og rediger tastaturgenveje.
Tastaturtilgængelighed — Naviger i Terminal-menuer med tastaturet.

Håndter profiler

Håndter profiler — Opret, omdøb og slet profiler.

Profilindstillinger

Angiv klokke med lyd — Aktivér underretning med lyd i Terminal.
Angiv opførsel ved afslutning af kommando — Angiv opførslen af Terminal ved afslutning af en tilpasset kommando eller standardskallen.
Farvetemaer — Skift farver og baggrunde.
Loginskaller — Start en loginskal i Terminal.
Rullebjælkeindstillinger — Skift opførsel for rulleoutput og rullebjælke.
Skift markør — Vælg en anden markørstil.
Skift profilens tegnkodning — Angiv en anden kodning for hver profil som gemmes.
Skift skrifttype og stil — Brug systemskrifttyper eller vælg en tilpasset skrifttype til din terminal.
Tegn ser for smalle ud — Vis tegn med flertydig bredde som bredde frem for smalle.
Tilpassede kommandoer og skaller — Angiv Terminal til at køre en kommando eller en anden skal under opstart.