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

Antworten:

18

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

  1. Terminal öffnen
  2. Bearbeiten -> Profileinstellungen
  3. Wählen Sie Benutzerdefinierte Schrift (oder deaktivieren Sie die Option Systemschrift mit fester Breite in älteren Versionen verwenden).
  4. 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