Re: terminal gnome2

Page principale

Répondre à ce message
Auteur: Guillaume Allègre
Date:  
À: guilde
Sujet: Re: terminal gnome2
(réponse sur la liste à une réponse privée de Raphael)

Le mer 14 jan 2004 à 14:48 +0100, Raphael Jacquot a écrit :

> >Est-ce que quelqu'un sait comment on règle ça ?
> >Comment on fait accepter à gnome-terminal 2.4 les polices bitmap ?
> >(defoma ne semble pas convenir)
> >
> >Merci d'avance.
> >
>
> installe le package Bitstream vera. Bitstream Vera sans mono est tres bien


C'est vrai, cette fonte est pas mal (monospace) et l'espacement est bien géré.
Il reste que c'est une fonte true type, ça ne m'intéresse pas vraiment.

Mon problème est : comment imposer à gnome-terminal (2.4) une bonne
vieille fonte bitmap, sans interpolation, ni fioriture quelconque.
Je ne trouve pas.

J'espère que gnome-terminal 2.x en est capable, sinon, ça devient
vraiment n'importe quoi.

-- 
° /\     Guillaume Allègre  Guillaume.Allegre@???   04.76.51.46.00  p.3539
 /~~\/\    Equipe Géométrie Algorithmique     /    Computational Geometry Team
/   /~~\   Labo. LMC-IMAG       Univ. J. Fourier       Grenoble         France