Taz > je ne sais pas si tu connais, mais tu peux aller jeter un coup d'oeil sur http://www.dafont.com/
Il me semble que tu utilises une debien, donc hop :
deb http://tuxfonts.free.fr/debs ./ |
Y'a un metapackage qui t'installe 100meg de fonts (apt-get install dafont) où il y a de bonne chance que tu trouves le même type de police du terminal, voir exactement celle-ci.
Voilà, désolé si tu connaissais, et désolé pour le polluage !
@+
Message édité par Evadream -jbd- le 21-08-2003 à 09:29:54