Gonzalo HIGUERA DÍAZ a écrit :
2005-12-05 10:29 +0100, deb_dup <[EMAIL PROTECTED]>:
Bonjour,
J'ai un problème de réglage des polices au lancement de X.
J'ai changé les tailles des polices dans le répertoire de gtk.
J'ai bien xserverrc avec l'option -dpi 100.
Correct pour startx/xinit.
Dans XF86Config-4, le moniteur est décrit avec le valeur hauteur et
largeur correctes.
Pour que ça marche il faut éviter de passer l'option -dpi.
Cependant, GDM a une police minuscule.
J'ai remarqué qu'au lancement de gnome, la taille de la police change et
prend bien la valeur de 100 dpi.
J'ai fait une expérience.
J'ai changer la valeur -dpi 100 en -dpi 300 dans le script xserverrc.
Quand GDM s'affiche après le boot rien ne change.
Par contre, en tuant le serveur X, puis en lançant startx, les deux
premiers messages affiché au lancement de gnome ont une police énorme.
Le lancement continue ensuite avec une taille normale (-dpi 100).
Je suppose dont que X puis GDM n'utilisent pas le script xserverrc.
Éxactement. Selon "/usr/share/doc/x11-common/FAQ.gz" les possibles
scripts de démarrage sont:
* /etc/X11/xinit/xserverrc pout xinit et startx.
* /etc/gdm/gdm.conf pour gdm
* /etc/kde3/kdm/Xservers pour kdm
* /etc/X11/wdm/Xservers pour wdm
* /etc/X11/xdm/Xservers pour xdm
--
Gonzalo HIGUERA DÍAZ <[EMAIL PROTECTED]>
Merci pour tes informations.
Je ne connaissais pas le fichier :/usr/share/doc/x11-common/FAQ.gz
J'avais fouillé dans gdm.conf sans rien trouver de significatif pour le
réglage des fonts.
Je vais faire un tour dans les fichiers de xdm.
Merci.
--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench
Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]