Wie ändere ich die Standardschriftart für das Terminal und gedit?

9

Ich möchte das font styleIn terminalund für die Standardeinstellung ebenfalls geditändern. So ändern Sie das font type in Ubuntu 12.04? Jede Hilfe und Vorschläge sind dankbar.

ubuntu-font-family neuer Benutzer
quelle
1
Mögliches Duplikat Wie ändere ich Schriftarten und passe ihre Größe an?
Coversnail
1
Kein vollständiges Duplikat. Das Ändern von Systemschriftarten wird zwar im Link behandelt, das Ändern von Schriftarten in Terminal und gedit jedoch nicht.
Amc

Antworten:

10

Installieren Sie das Gnome-Tweak-Tool Installieren Sie das Gnome-Tweak-Tool :

sudo apt-get install gnome-tweak-tool

optimieren

In Schriftarten können Sie die systemweite Schriftart ändern.

Für gedit:

gedit
(Quelle: iloveubuntu.net )

Für Terminal: Terminal

abybaddi009
quelle
0

Sie sind sich nicht sicher über den Editor, aber für das Terminal ändern Sie einfach die Schriftart für das Standardprofil aus dem

Edit -> Profile Speisekarte

Prost

S.

Slowko
quelle
0

Für das Terminal können Sie mit der rechten Maustaste in das Inhaltsfenster (nicht in die Titelleiste) klicken und "Profile" und dann "Profileinstellungen" auswählen. Sie erhalten dann den gleichen Dialog wie in der Antwort von 0x00F

Xavier Nodet
quelle