Wie kann ich die Textgröße für das Gnome-Terminal dauerhaft ändern?

14

Ich wollte nur fragen...

Es scheint, dass Sie Ctrl+ -(Strg + Minuszeichen) drücken müssen, um beim Ausführen von Terminal eine bessere Auflösung (kleinerer Text) zu erzielen.

Aber ich habe mich gefragt, ob es eine Möglichkeit gibt, die Einstellungen auf diese Weise beizubehalten, damit sie beim Starten des Terminals bereits in höherer Auflösung funktionieren?

11.04 command-line gnome-terminal

— Dunkler Templer
quelle

18

Sie können die Größe des Texts in einem Terminal manuell festlegen, indem Sie:

Terminal öffnen
Bearbeiten -> Profileinstellungen
Wählen Sie Benutzerdefinierte Schrift (oder deaktivieren Sie die Option Systemschrift mit fester Breite in älteren Versionen verwenden).
Wählen Sie Ihre Schriftart und Größe

Sie können auch die Größe des Terminals auswählen, indem Sie Benutzerdefinierte Standardterminalgröße verwenden und eine Reihe von Zeilen und Spalten festlegen.

— danjjl
quelle

Genau das tue ich, um es dauerhaft zu bekommen.

— Luis Alvarado

1

In 16.04 wird die Option " Systemschrift mit fester Breite verwenden " nicht angezeigt?

— Rudolph9

@ rudolph9 haben Antwort bearbeitet, um zu sagen "Benutzerdefinierte Schriftart auswählen", wie es in meiner Version heißt (anstatt "das System feste wdth Schriftart verwenden")

— EoghanM

4

Sie können versuchen, gnome-terminalmit parameter aufzurufen --zoom, zB:

gnome-terminal --zoom=0.8 um 20% zu verkleinern (80% der Originalgröße)

Eine eingeschränkte Dokumentation für diesen Parameter wird durch Ausführen gefunden

gnome-terminal --help-all

Sie können ein wenig mit den verschiedenen Zoomgrößen spielen, um die passende zu finden, und dann Ihre Verknüpfungen entsprechend bearbeiten.

— Pavlos G.
quelle