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

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
source

Duplicata possible Comment changer les polices et ajuster leur taille?

— covernail

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:

Installez l' outil gnome-tweak :

sudo apt-get install gnome-tweak-tool

tordre

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

Pour gedit:

_{(source: iloveubuntu.net )}

Pour le terminal:

— abybaddi009
source

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é

— slowko
source

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
source

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.