Sur Gnome (Debian testing) j’aimerais ajuster la grandeur de police sur l’écran d’accueil (GDM login) ainsi que lorsque l’écran est verrouillé.
Petite précision, c’est pour améliorer l’affichage sur un petit écran (netbook) de 1024x600, pas pour grossir l’affichage sur un écran de haute résolution.
Merci pour toute piste.
Edit: en fait c’est la valeur du DPI que je dois changer pour avoir un affichage cohérent
il me semble que ca doit se trouver dans le gnome-settings tu prend les police system si mes souvenirs sont juste (vu que maintenant je suis sous cinnamon), je pense qu’il doit y avoir un bouton qui traine pour modifier le démarrage (a moins que se ne soit que pour la langue clavier), je me rappel plus tout a fait mais voila une piste a creuser ^^
Dans quel mesure veux tu augmenter la taille des polices ? Si c’est «vraiment beaucoup» tu peut regarder le réglage d’accessibilité qui peux être suffisant.
Mais comme je suis sous lightDM je ne vais pas pouvoir t’être d’une grande aide.
Jai un écran HDPI et moi gdm était bloquer sur x2 jai eu beau modifier des fichier config qui d’après certains forums marchait et ca n’a jamais fonctionner …
Je pense que c’est un probleme de GDM je vois pas comment faire
Essaie light dm tu pourras forcément le faire avec !
J’aurais dû préciser que mon problème était un affichage trop gros sur petit écran (sur un netbook 1024x600), pas trop petit sur un gros écran (habituellement désigné “HDPI”).
Pour un bureau MATE avec LightDM sur Debian Testing il y a:
Pour un bureau Gnome 3 avec GDM3
Calcul de la valeur en ligne de commande:
$ echo 72/96 | bc -l
.75000000000000000000
Vérification suite à un changement:
$ xrdb -query | grep dpi
Xft.dpi: 72
Par contre je n’ai toujours pas trouvé comment faire le changement pour le système au complet (donc tous les utilisateurs) et surtout pour GDM (écran d’invite/login) 