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