Comment rechercher et modifier le DPI d'écran sous Linux
La valeur DPI d'un écran indique le nombre de points par pouce ou de pixels par pouce qu'il prend en charge. Au fur et à mesure que la résolution augmente, la densité d'affichage augmente également. Vous connaissez peut-être la résolution de votre écran, mais vous n'avez peut-être aucune idée du DPI de votre écran. Il est important de trouver la valeur DPI appropriée sous Linux. Le définir sur une valeur incorrecte rendra les contrôles et les icônes flous ou petits. Dans cet article, nous allons voir comment trouver la bonne valeur pour votre écran.
Publicité
Dans les distributions modernes, le serveur X peut détecter automatiquement la bonne valeur. Si la valeur est incorrecte, vous pouvez la calculer manuellement et la modifier dans votre environnement de bureau Linux et pour le serveur X globalement.
Remarque: tous les logiciels Linux n'ont pas encore l'air corrects en mode haute résolution. Par exemple, LibreOffice prend bien en charge HiDPI, mais ne propose pas un seul thème d'icône adapté aux hautes résolutions. Le facteur d'échelle de Mozilla Firefox doit également être ajusté manuellement. Seul l'environnement de bureau Cinnamon prend en charge la mise à l'échelle DPI parfaite prête à l'emploi.
Voyons comment trouver votre valeur DPI sous Linux.
Trouvez la valeur DPI pour votre écran
Pour trouver la valeur DPI actuelle de l'écran utilisé par Xserver, procédez comme suit.
- Ouvrez votre favori émulateur de terminal.
- Tapez ou copiez-collez la commande suivante :
xdpyinfo | grep -B 2 résolution
La sortie ressemblera à ceci :
La ligne "résolution" indique la valeur réelle.
Si cette valeur n'est pas correcte, vous pouvez la calculer vous-même. Voici comment.
Comment calculer la bonne valeur DPI
Pour calculer la valeur DPI appropriée, procédez comme suit.
- Ouvrez votre émulateur de terminal préféré
- Obtenez votre taille d'écran en millimètres en exécutant la commande :
xrandr | grep -w connecté
La sortie contient la taille d'affichage physique en millimètres. Dans mon cas, c'est 340 mm x 190 mm.
- Convertissez-le en centimètres. Mes valeurs sont 34 x 19.
- Convertissez des centimètres en pouces. Divisez les valeurs par 2,54. Dans mon cas, les valeurs sont les suivantes: 13,39 pouces x 7,48 pouces.
- Enfin, divisez les valeurs de résolution de votre écran par des valeurs en pouces. Dans mon cas, les valeurs sont les suivantes :
1920/13.39 = 143,390589993=~144.
1080/7.48 = 144,385026738=~144.
C'est ça. Pour mon écran, je dois utiliser 144 comme valeur DPI. Voyons comment le changer.
Comment changer la valeur DPI
Selon l'environnement de bureau graphique que vous utilisez, la procédure peut être différente. Je vais passer en revue quelques cas courants qui vous donneront une idée de ce qu'il faut faire.
Aucun environnement de bureau/gestionnaire de fenêtres barebones
Si vous exécutez un gestionnaire de fenêtres sans un DE complet (par exemple, Fluxbox), vous devez créer ou modifier le fichier /home/votre nom d'utilisateur/.Xresources et ajouter la ligne suivante :
Xft.dpi: 144
Ici et dans tous les exemples ci-dessous, remplacez la partie 144 par votre valeur DPI réelle.
Si votre fichier .Xresources n'est pas traité, ajoutez la ligne suivante à votre fichier de démarrage (par exemple .xinitrc ou un fichier spécifique au gestionnaire de fenêtres)
xrdb -merge ~/.Xresources
Alternativement, vous pouvez essayer avec la ligne suivante :
xrandr --dpi 144
Cependant, xrandr peut avoir des problèmes avec certains pilotes d'affichage. Essayez et voyez si cela fonctionne ou non. Dans mon cas, cela ne fonctionne pas.
Gnome 3
Ouvrez une nouvelle fenêtre de terminal et exécutez la commande :
gsettings définir org.gnome.desktop.interface facteur d'échelle 2
Le paramètre facteur d'échelle ne permet de définir que des nombres entiers. 1 = 100 %, 2 = 200 % et ainsi de suite.
Xfce
Le DPI peut être défini comme vous le souhaitez sous Paramètres - Apparence - Police.
Pour une lecture plus approfondie, je vous recommande de vous référer à cette page. Il est dédié à Arch Linux, mais les astuces sont communes à toutes les distributions modernes ou peuvent être facilement adaptées.