Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
| divers:terminus_font 27/12/2007 15:22 | divers:terminus_font 16/02/2008 14:28 version actuelle | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| ====== Police Terminus ====== | ====== Police Terminus ====== | ||
| + | |||
| ===== Introduction ===== | ===== Introduction ===== | ||
| - | La police [[http://www.is-vn.bg/hamster/jimmy-en.html|Terminus]] est une excellente police pour programmer ou pour utiliser dans un terminal. Il s'agit de la police que j'utilise avec [[linux:vim|Vim]]. | + | La police [[http://www.is-vn.bg/hamster/jimmy-en.html|Terminus]] est une excellente police pour programmer ou pour utiliser dans un terminal. Il s'agit de la police que j'utilise avec [[linux:vim:|Vim]]. |
| Je l'utilise parce que : | Je l'utilise parce que : | ||