Ist es möglich, die Terminal-Schriftart zu ändern?

53

Ich möchte die Schriftart im Terminal ändern, wie kann ich das erreichen?

Fawkes5
quelle
2
Welches Terminal? Ist Sublime Text 2 auf Ihrem System installiert?
Marty Fried
2
und welche Schriftart? -
Anwar
Sublime Text 2 ist installiert. Die Schriftart, die mich interessiert, ist die Standardschriftart, mit der sublime installiert wird. Kann den Namen nicht finden
Fawkes5

Antworten:

46

Bash-Terminal:

Menü, Bearbeiten => Profileinstellungen => Registerkarte Allgemein ; Deaktivieren Sie die Option „ Systemschriftart mit fester Breite verwenden“ und wählen Sie die gewünschte Schriftart aus.

Für das allgemeine xterm-Terminal müssen Sie eine Datei erstellen ~/.Xresourcesund Einstellungen hinzufügen, z. B. xterm*font: Sublime\ Text\ 2-12für 12 Punkte (dies ist eine Vermutung, ich weiß nicht, ob es völlig korrekt ist).

Marty Fried
quelle
Mein Gnome-Terminal stürzt ab, wenn ich das Kontrollkästchen "Systemschriftart mit fester Breite verwenden" deaktiviere. Gibt es eine Möglichkeit, diese Einstellung zu ändern oder zu löschen, ohne diese GUI zu durchlaufen?
Jonathan Hartley
In Ubuntu 18.04 oder Ubuntu 18.04 gibt es kein Menü mit dem Namen "Bearbeiten". Vielleicht aktualisieren Sie Ihre Antwort, um auch neuere Versionen von Ubuntu abzudecken?
Peter Mortensen
Oder markieren Sie es zumindest, z. B. "Für Ubuntu 9 bis Ubuntu 16.04:" oder ähnliches (in diesem Beispiel habe ich den Versionsbereich zusammengestellt).
Peter Mortensen
30

Obwohl Sie nicht erwähnt haben, welche Schriftart Sie verwenden oder auf welches Terminal Sie sich beziehen, gebe ich eine allgemeine Antwort, um die Schriftart in gnome-terminal zu ändern.

Ich gebe zwei Möglichkeiten, um dies zu tun, obwohl beide relativ nahe beieinander liegen

Auf formelle Weise

  • Öffnen Sie das Terminal mit Ctrl+ Alt+ T.
  • Gehen Sie dann vom Menü BearbeitenProfile . Klicken Sie im Profilbearbeitungsfenster auf die EditSchaltfläche.
  • Deaktivieren Sie dann auf der Registerkarte Allgemein die Option Systemschriftart mit fester Breite verwenden und wählen Sie die gewünschte Schriftart aus dem Dropdown-Menü aus

Einfacher Weg

  • Öffnen Sie das Terminal mit Ctrl+ Alt+ T.
  • Klicken Sie mit der rechten Maustaste auf das Terminal, und wählen Sie im angezeigten Popup-Menü ProfileProfileinstellungen
  • Deaktivieren Sie dann auf der Registerkarte " Allgemein" die Option " Systemschriftart mit fester Breite verwenden" und wählen Sie die gewünschte Schriftart aus dem Dropdown-Menü aus.

Ich gebe zwei Screenshots unten:

Bild des Popup-Menüs

Bild des Profilfensters "Bearbeiten"

Anwar
quelle
1
Oh wow, ich wusste nicht, dass es so einfach ist. DANKESCHÖN!!!
Fawkes5
Soweit ich sehen kann, befinden sich "Profile" in "Einstellungen" in Ubuntu 18.04 oder Ubuntu 18.04. Vielleicht aktualisieren Sie Ihre Antwort, um auch neuere Versionen von Ubuntu abzudecken?
Peter Mortensen
1

Für Ubuntu 17.04 mit GNOME Terminal 3.20.2 sind die Optionen etwas anders. Gehen Sie im Menü zu Bearbeiten -> Profileinstellungen -> Registerkarte Allgemein. In der Text Appearance section, wählen Sie die Custom fontOption, klicken Sie auf die gewählte Schriftart und dann die Schriftgröße Nummer am unteren Rand des neuen Fensters reduzieren.

patrickvacek
quelle
Ja, ich benutze ein dunkles Thema und geringe Helligkeit, so dass das Kontrollkästchen fast unsichtbar ist
qwr
0

Wenn Sie ein Server-Terminal meinen, also kein Windows-System, nur die Konsole, dann gefällt mir diese Antwort :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

dies ist ein Beispiel; Sie können eine Liste der verfügbaren Schriftarten wie folgt anzeigen:

ls /usr/share/consolefonts

und sollten Sie sie aus irgendeinem Grund nicht haben, können Sie sie folgendermaßen installieren:

sudo apt-get install fonts-ubuntu-font-family-console

Beachten Sie, dass Sie den Befehl setfont möglicherweise in Ihrem .profile oder .bashrc ablegen müssen, da er möglicherweise bei jeder Anmeldung ausgeführt werden muss

jmarina
quelle