Abstand im Terminal

Fr, 23. September 2022, Ralf Hersel

Manchmal sind die Tipps&Tricks eher unspektakulär, aber für manche Anwenderin dennoch nützlich. Beim GNOME-Terminal kleben die Texte mit einem Abstand von 0 Pixeln an den Fensterrändern. Das sieht einerseits doof aus und hat andererseits den Nachteil, dass man beim Markieren von Text mit der Maus genau treffen muss.

Das GNOME-Terminal akzeptiert Formatierungsangaben, die in einer CSS-Datei hinterlegt werden können. Um den Abstand zu den Rändern (padding) zu verändern, macht ihr Folgendes:

nano ~/.config/gtk-3.0/gtk.css

Dann kopiert ihr in die leere Datei das hinein:

VteTerminal,
TerminalScreen,
vte-terminal {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

Die px-Werte könnt ihr nach Belieben anpassen. Die Änderung seht ihr erst, wenn alle Terminals geschlossen und ein neues gestartet wurde.