Re: fontes gdm

[Christophe Merlet <redfox@eikonex.org>]

"G . Demaille" wrote:
> 
> quelqu'un sait-il comment changer la fonte de GDM (login graphique de
> Gnome)?

gdm est une application GTK+, de plus le gestionnaire de connexion
(greeter) fonctionne sous le compte de l'utilisateur gdm.
Donc, pour changer le look de gdm, il suffit de changer le thème gtk par
défaut pour l'utilisateur gdm.

Copie le fichier joint gtkrc dans le répertoire personnnel de
l'utilisateur gdm, normalement /var/lib/gdm,  en le renommant en .gtkrc.
Modifie dedans la police que tu veux utiliser.

Voilà

--
Christophe Merlet (RedFox)

# -- THEME AUTO-WRITTEN DO NOT EDIT
include "/usr/share/themes/Default/gtk/gtkrc"

style "user-font"
{
  font="-b&h-lucida-medium-r-normal-*-*-100-*-*-p-*-iso8859-1"
}
widget_class "*" style "user-font"

# -- THEME AUTO-WRITTEN DO NOT EDIT