Page 1 sur 1

[xterm] Modifier la police du terminal (résolu)

Publié : mer. 01 févr. 2012, 17:35
par chignole
Bonjour tout le monde,

je suis nouveau sous archlinux, et je bute un peu sur la configuration de xTerm.

J'essaie de le configurer via le fichier ~/.Xdefaults :

Code : Tout sélectionner

xterm*geometry:         130x40
xterm*Foreground:       white
xterm*Background:       black
xterm*Font:             -*-dejavu sans mono-medium-r-*-*-*-*-*-*-*-*-*-*
Mais ça ne semble pas fonctionner.

Un petit essai en lançant la commande "xterm -font 'dejavu sans mono' me donne un lapidaire "cannot load font "DejaVu Sans Mono', j'en déduis que que xterm ne trouve pas la font, alors que pourtant la commande fc-list m'indique qu'elle est bien là ...

Bref j'ai un peu de mal à m'en dépatouiller, quelqu'un pour m'aider svp ?

Merci d'avance. :chinois:

Re: [xTerm] Modifier la police du terminal

Publié : mer. 01 févr. 2012, 18:20
par Ypnose
Je crois que cette police est une police TTF.
Il faut donc passer par:

Code : Tout sélectionner

xterm*faceName: xft:Dejavu Sans Mono:pixelsize=11

Re: [xTerm] Modifier la police du terminal

Publié : mer. 01 févr. 2012, 18:55
par chignole
C'était bien l'un des problèmes, merci beaucoup :chinois:

L'autre problème, j'avais oublié de recharger la configuration en tapant :

xrdb -load .Xdefaults

Je passe le sujet en résolu