Grosses polices sous debian

Après la mise à jour de debian du 3 janvier ( enfin dans la nuit ), toutes mes polices avaient toutes grossies. Elles avaient pris à peu près 33% de taille en plus...

Et même en googleant un peu, je n'ai pas vraiment trouvé quelque chose de concluant. J'avais bien trouvé des histoire de dpi qui étaient pas calculés correctement (mélange entre inch et mm), d'autres histoire comme quoi c'était à cause du driver nvidia.

Mais je me suis rendu compte dans mon ps afx que j'avais ceci :

20303 ?        Ss     0:00 /usr/sbin/gdm
20304 ?        S      0:00  \_ /usr/sbin/gdm
20310 ?        RL     2:07      \_ /usr/X11R6/bin/X :0 -dpi 96 -audit 0 -auth /var/lib/gdm/:0.Xauth -nolisten tcp vt7

Effectivement gdm était mis à jour. Mais pourquoi est-ce qu'il m'a mis 96 dpi ?! en repassant à 75 tout passe beaucoup mieux !

Un petit tour dans gdmsetup, onglet XServer, Server definition to Modify: choisir Standart, et mettre 75 à la place de 96 dans la case Command.

Finir par un relancement du serveur X (/etc/init.d/gdm restart dans mon cas)

Haut de page