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

10

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:

_{(Quelle: iloveubuntu.net )}

Für 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