Pour changer le DPI de son écran quand on utilise gnome/gdm3 :
-
http://pxcalc.com/ pour le calculer
- Calculer DPI/96 = un nombre
- gsettings set org.gnome.desktop.interface text-scaling-factor <le_nombre_obtenu_à_l'étape_précédente>. 1,25 pour 120, 1,5 pour 144, ...
- Vérifier avec « xrdb -query | grep dpi » que le DPI est bien celui calculé à la première étape.
- Le changement n'est pas immédiatement visible partout et nécessitera de fermer/reouvrir certaines applications pour être appliqué.
Je trouve que le résultat n'est pas à la hauteur : on dirait que tout est écrit en gras, les icônes prennent une place énorme, les fonts donnent envie de vomir, ...