Re: fontes gdm

["G . Demaille" <perso.gdemaille@noos.fr>]

merci à Fred et Joël d'avoir répondu aussi vite!

mais je me suis mal exprimé :

dans la section greeter de gdm.conf, on ne change que la phrase de
bienvenue
 ce que je voudrais changer, c'est la fonte qui affiche "Session",
"Langue", "Système" et les messages de login


Le 07 octobre 2001 à 20:35, Frédéric Bothamy a écrit :
> 
> 
> G . Demaille wrote:
> 
> > Bonjour,
> > 
> > quelqu'un sait-il comment changer la fonte de GDM (login graphique de
> > Gnome)?
> 
> 
> 
> Euh peut-être changer la ligne dans /etc/gdm/gdm.conf dans la section 
> [greeter] indiquant la police :
> 
> fred@zeus:~$ grep Font /etc/gdm/gdm.conf
> Font=-*-helvetica-bold-r-normal-*-*-180-*-*-*-*-*-*,*
> fred@zeus:~$
> 
> en spécifiant une autre police.
> 
> Fred
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-user-french-request@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact
> listmaster@lists.debian.org
> 
>