Ça peut être un problème de résolution (le nombre de points par pixels). Que disent xdpyinfo | grep resolution et grep DPI /var/log/Xorg.0.log ? Normalement on a des valeurs entre 72 et 125 qui influent sur la taille de la police (plus cette valeur est grande, plus les pixels sont petits et pour compenser, plus les polices sont grandes). Si ce n'est pas le cas, tu peux changer la résolution par exemple en suivant http://www.mozilla.org/unix/dpi.html
# Quelle résolution ?
Posté par 태 (site web personnel) . En réponse au message [post-install] La police d'affichage est énorme. Évalué à 3.
xdpyinfo | grep resolutionetgrep DPI /var/log/Xorg.0.log? Normalement on a des valeurs entre 72 et 125 qui influent sur la taille de la police (plus cette valeur est grande, plus les pixels sont petits et pour compenser, plus les polices sont grandes). Si ce n'est pas le cas, tu peux changer la résolution par exemple en suivant http://www.mozilla.org/unix/dpi.html