Comment changer la police par défaut du terminal et de gedit?

9

Je veux changer le font styledans terminalet par défaut geditcomme well.So comment changer le font type in Ubuntu 12.04? Toute aide et suggestions seront appréciables.

ubuntu-font-family nouvel utilisateur
la source
1
Duplicata possible Comment changer les polices et ajuster leur taille?
covernail
1
Pas un double total. Bien que la modification des polices système soit couverte par le lien, la modification des polices dans le terminal et gedit ne l'est pas.
amc

Réponses:

10

Installez l' outil gnome-tweak Installer gnome-tweak-tool :

sudo apt-get install gnome-tweak-tool

tordre

Dans les polices, vous pouvez modifier la police du système.

Pour gedit:

gedit
(source: iloveubuntu.net )

Pour le terminal: Terminal

abybaddi009
la source
0

Je ne suis pas sûr de l'éditeur, mais pour le terminal, changez simplement la police du profil par défaut

Edit -> Profile menu

À votre santé

S

slowko
la source
0

Pour le terminal, vous pouvez cliquer avec le bouton droit dans la fenêtre de contenu (pas dans la barre de titre) et choisir «Profils», puis «Préférences de profil». Vous obtenez alors la même boîte de dialogue que celle montrée dans la réponse de 0x00F

Xavier Nodet
la source