Et que la liste des polices proposées par gnome-terminal et konsole se
réduit à :
- Courier
- Courier 10 Pitch
- Lucida Typewriter
- Luxi mono
- Monospace
Donc, je suppose qu'il existe deux ensembles de polices : l'un
accessible par aterm (lisible par xlsfonts), et l'autre accessible par
konsole et gnome-terminal.
Par ailleurs, le fichier /etc/fonts/fonts.conf semble contenir les
informations sur cette police monospace. Mais mes recherches s'arrêtent là.
Avez-vous une idée sur le moyen d'utiliser monospace avec aterm ?
Merci pour vos réponses.
--
David LE BOURGEOIS
Les femmes sont tellement menteuses, qu'on ne peut même pas croire le
contraire de ce qu'elles disent.
-+- Georges Courteline -+-