Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 01/11/2006, à 20:40

Orus78

Changer police terminal [Résolu]

Bonjour à tous,

  Petite question toute bête, comment fait-on pour changer la police de caractères de Terminal sous XFCE?

  Parce que par défaut c'est beaucoup trop gros.

Merci et A+.

Dernière modification par Orus78 (Le 03/11/2006, à 10:35)

Hors ligne

#2 Le 01/11/2006, à 23:27

jojolafrite

Re : Changer police terminal [Résolu]

editer > preference > aspect > et la tu choisi la police

Hors ligne

#3 Le 03/11/2006, à 10:37

Orus78

Re : Changer police terminal [Résolu]

Merci pour ta réponse!

J'avais déjà était dans ce menu, mais il faut avouer que ça ne saute pas aux yeux car le nom de la police m'était inconnu, et placer ça dans un simple bouton c'est très déroutant.

Ceci dit, avec XFCE, ca fait fait plaisir que sa mémoire soit réservée aux applications plutot qu'à l'environement.

A+

Hors ligne