Re: petites tailles de polices
Serge Basterot wrote:
>
> Salut,
>
> Est-ce que quelqu'un qait comment avoir une petite taille de police en
> mode console. J'avais une fois installer une woody il y a quelques mois
> et ça me l'avait fait automatiquement (je ne sais pas comment). Là je
> viens de faire une nouvelle install et je ne sais pas comment faire pour
> avoir cette petite taille de police, surtout que pour quelques
> applications cela me gêne un peu (mc, gnus) pour ce qui est de la
> lecture.
Dans /etc/console-tools/config, change la valeur de SCREEN_FONT :
SCREEN_FONT=lat0-08
Voir /usr/share/consolefonts/ pour les choix possibles.
Nico.
PS : Pas besoin de faire des trucs bizares au boot comme Davy l'a
suggéré.
--
Nicolas SABOURET
LIMSI-CNRS, BP133, 91403 Orsay, France
http://www.limsi.fr/Individu/nico
Reply to: