J'essaie de trouver, puis de modifier le paramètre d' écran DPI (points par pouce) dans 12.04 et 12.10. Cependant, je n'arrive pas à trouver une application ou un fichier de configuration capable de le faire. Existe-t-il une application ou un fichier de configuration pour cela?
Notez que ceci est pour 12.04+ donc ce qui suit ne fonctionnera pas:
- Comment modifier les paramètres de police DPI?
- Comment changer le DPI de l'écran en 11.10?
- Est-il possible de changer la police DPI en 11.04?
De plus, ils changent fondamentalement la taille de la police, pas la résolution réelle de l'écran.
Réponses:
Ceci est une version mise à jour de ma réponse précédente qui était liée à Ubuntu 12.04. Dans 16.04 (Xenial), 3 étapes sont nécessaires pour définir correctement le DPI au lieu de 2.
J'expliquerai sur l'exemple du système avec Ubuntu 12.04 avec Gnome Classic et un moniteur avec une résolution 1680x1050. Mes paramètres de départ:
xdpyinfo | grep dots
signalé96x96 dots
,xrdb -query | grep dpi
signaléXft.dpi: 96
,grep DPI /var/log/Xorg.0.log
signalé des paramètres étrangesNOUVEAU(0): DPI set to (90, 88)
.En 16.04, les sorties de toutes ces 3 commandes étaient cohérentes et égales à 96. Bien que ce consensus soit meilleur que le désordre de 12.04, la valeur rapportée est codée en dur et est loin de la valeur réelle en DPI.
Calculons le DPI optimal pour mon moniteur. La taille réelle de l'écran peut être trouvée avec la commande
xrandr | grep -w connected
(convertir la sortie en centimètres) ou avec une longue règle à la main. Dans mon cas:X = 47.4cm
;Y = 29.6cm
. Les diviser par 2,54 pour obtenir la taille en pouces:X ~ 18.66in
;Y ~ 11.65in
. Enfin diviser le montant réel des points ( en fonction de votre résolution) par la taille en pouces:X = 1680/18.66 ~ 90dpi
;Y = 1050/11.65 ~ 90dpi
. Donc, mon dpi réel est 90.Soyez averti , la méthode manuelle de mesure peut être plus précise que la sortie de la commande
xrandr | grep -w connected
car les versions les plus récentes du serveur X ignorent la taille rapportée par EDID et calculent la taille en utilisant la résolution d'écran et une valeur codée en dur de DPI (plus d'informations ici ).Une autre méthode pour trouver la taille du moniteur consiste à lire directement son EDID. Installez le
read-edid
package et exécutez la commandesudo get-edid | parse-edid | grep DisplaySize
dans le terminal. Sa sortie vous donnera la taille réelle de votre moniteur en millimètres. Sinon, utilisez la règle.Commençons à réparer DPI:
1) Sous 12.04
gksudo gedit
, ouvrez/etc/lightdm/lightdm.conf
et ajoutez un paramètre dans la[SeatDefaults]
section:Il n'y a aucun fichier de ce type dans 16.04 par défaut, vous devez donc créer
lightdm.conf
manuellement et le placer dans/etc/lightdm/lightdm.conf.d/
. Le contenu de ce fichier est le même:Redémarrez votre ordinateur ou redémarrez X. Le
grep DPI /var/log/Xorg.0.log
réglage souhaité s'affichera.2) Dans ma réponse précédente, je proposais de créer un fichier
/etc/X11/Xsession.d/
contenant une chaînexrandr --dpi 90
. Cela fonctionnait dans 12.04, mais dans 16.04, ce paramètre n'était pas persistant. Dans les systèmes plus récents, nous pouvons ajouter la valeur souhaitée au début de la session. Exécutez "Applications de démarrage", appuyez sur le bouton "Ajouter", nommez-le "Correction DPI" et définissez la commandexrandr --dpi 90
dans le champ. Enregistrez les modifications et reconnectez-vous. Maintenantxdpyinfo | grep dots
rapporter90x90 dots
.Si
xdpyinfo
toujours affiche 96, ajoutez un délai d'attente avant l'exécutionxrandr
. Editez la commande dans "Applications de démarrage" et remplacez-la par:Référence
L'étape 2 est facultative pour 12.04 car, dans les systèmes plus anciens, l'étape 1 corrige les valeurs
Xorg.0.log
etxdpyinfo
.3) Dans GNOME3, le paramètre DPI est codé en dur sur 96 et ne peut pas être modifié directement, mais le texte peut être redimensionné à la place. Calculez le multiplicateur souhaité:
desired_DPI / 96
(dans mon cas90/96 = 0.9375
). Maintenant, lancez la commande (ou utilisezdconf
si vous préférez):Les changements seront appliqués à la fois.
xrdb -query | grep dpi
signalera le désiréXft.dpi: 90
.PS Il existe une autre méthode de correction du paramètre DPI qui est beaucoup plus difficile. Elle est décrite dans ce guide. Je l'ai essayé aussi et le résultat était le même (au moins en 12.04).
Afterword: Seuls les développeurs Ubuntu peuvent dire avec certitude si les valeurs modifiées par les étapes 1 et 2 importent réellement dans Ubuntu moderne ou si elles sont ignorées en silence. Seule l’étape 3 produit les modifications immédiatement perceptibles. Les utilisateurs qui considèrent que certaines applications peuvent toujours dépendre des paramètres du serveur X sont encouragés à effectuer les 3 étapes décrites ci-dessus. Pour le reste, l'étape 3 est suffisante - c'est l'unique moyen de personnalisation adopté dans les distributions Ubuntu modernes.
la source
org.gnome.desktop.interface
et une cléscaling-factor
. La valeur par défaut est 1 et il ne peut s'agir que d'un entier. Il est destiné aux écrans HiDPI. Il existe certaines méthodes permettant d’obtenir un facteur d’échelle non entierxrandr
. Vérifiez ce lien: wiki.archlinux.org/index.php/HiDPI (c'est la base de connaissances d'Arch, cela n'a pas été testé dans Ubuntu).À partir de 14.04, nous avons une option qui aide un peu:
Prise en charge de la mise à l'échelle
Dans l'image ci-dessous, nous pouvons voir la mise à l'échelle à 0,75 sur les polices et les barres de titre:
Dans l'image ci-dessous, nous pouvons voir la mise à l'échelle à 1,38 sur les polices et les barres de titre:
la source
En ce qui concerne mon expérience sous Ubuntu, modifier le paramètre DPI de la police change beaucoup plus que la manière dont les polices sont rendues. Cela s'applique également aux icônes et à la taille des menus, par exemple.
C'est simplement que Xorg indique à l'environnement de bureau quelle est la résolution de l'affichage physique. Et oui, vous pouvez remplacer cela dans le fichier Xorg.conf, mais cela aura le même effet que de modifier le paramètre dans votre DE. Par exemple dans Kubuntu / KDE:
la source
Avait un problème similaire, sur un écran 2880x1620. Voir http://ubuntuforums.org/showthread.php?t=2106549 Résolu en mettant
dans mon ~ / .xprofile
Au lieu de "DP-0", mettez ce que vous voulez
vous dit comme nom d'appareil.
Vous pouvez modifier l’échelle bien sûr, mais 0.5 n’a pas l’air sympa sur mon écran.
la source
Bien que le
xserver-command=X -dpi ...
etxrandr --dpi ...
donné ci-dessus ait très bien fonctionné dans les versions précédentes d'Ubuntu, dans Ubuntu 13.10 (c'est ce que j'ai) Unity ignore ces paramètres et maintient la résolution corrigée (pour autant que le serveur X soit concerné à 96 dpi).Et la
xrandr --scale ...
commande redimensionne l'écran comme décrit, mais le redimensionne de manière à rendre le texte et les icônes un peu flous. Mais ça marche.Il semble que dans Ubuntu 13.10, la meilleure option ne consisterait peut-être pas à essayer de modifier le paramètre dpi pour le serveur X, mais plutôt à la
unity-tweak-tool
pour modifier les polices par défaut utilisées par Unity et le facteur de redimensionnement des polices par défaut. Vous pouvez télécharger le logiciel àunity-tweak-tool
partir du centre logiciel Ubuntu. Lorsque vous ouvrez leunity-tweak-tool
Cliquez sur le bouton Polices et essayez de modifier le facteur de mise à l'échelle de la police à 1,2 ou 1,25 (ou supérieur ou inférieur) pour que les polices apparaissent correctement. Sur ce panneau de configuration, vous pouvez également modifier les polices par défaut utilisées par Unity. Certes, cette solution ne permet pas de tout redimensionner à l'écran, mais uniquement le texte, mais elle fonctionne très bien sur mon ordinateur portable doté d'un écran de 166 ppp. Il semble que les navigateurs Web tels que Firefox et Chromium ne remarquent pas ce paramètre, mais Firefox et Chromium vous permettent tous les deux de définir une taille de police minimale dans les paramètres de l’application afin d’augmenter la taille des polices des pages Web de la même manière.la source
Dans Ubuntu 14.10, avec un ordinateur portable de 15 ", résolution 1920x1080 (345mm x 145mm), avec une densité de 143ppi / dpi, j’ai fait ce qui suit.
Dans /etc/X11/xorg.conf.d/xorg.conf, j'ai ajouté ce qui suit:
Ceci définit les paramètres dpi du système sur 143dpi:
J'ai également fait tous les réglages mentionnés ci-dessus:
J'ai besoin de peaufiner chaque application que je prévois utiliser. De plus, dans les navigateurs, ce zoom génère également des images floues (icônes, boutons de pages Web, etc.), car il est également zoomé. J'aimerais définir une image en taille 1: 1 et 2: 1 avec un simple clic ou un geste.
J'espère que cela ajoutera des informations utiles au 9 octobre 2014.
la source
Installez Ubuntu-Tweak http://ubuntu-tweak.com/
Ouvrez-le et allez dans 'Tweaks> Fonts'. Puis changez le "facteur de mise à l'échelle du texte"
Fonctionne très bien. Prendre plaisir.
la source
Vous pouvez tout redimensionner avec xrandr, ce qui est probablement ce que vous recherchez. Je ne suis pas sûr de savoir comment cela fonctionne en interne, mais l'effet semble être un changement de dpi.
Pour redimensionner votre résolution, commencez par trouver le nom de votre moniteur avec xrandr:
Donc, dans mon cas, l'écran de mon ordinateur portable s'appelle LVDS.
Ensuite, lancez ce qui suit pour redimensionner votre résolution:
Le Lanceur et le Panneau peuvent disparaître un instant, mais passez simplement votre curseur dessus pour qu'ils réapparaissent. Vous devrez peut-être également redimensionner les fenêtres ouvertes pour qu’elles s’adaptent à la résolution plus petite.
la source
Alors que je finissais sur cette question à la recherche de la mise à l'échelle Windows HiDPI dans Ubuntu Gnome, voici mon ajout aux suggestions aléatoires, afin que je puisse le trouver lorsque j'en aurai besoin à nouveau. :)
Pour accéder à cette boîte de dialogue, ouvrez Gnome Tweaks et accédez à la section Windows.
la source
J'utilise Zorin8 (basé sur Ubuntu13.x).
Vous pouvez redimensionner l’écran avec la souris (1024/800 = 1.28, 768/600 = 1.28):
Ou seulement faire un panoramique sur l’écran, vous devez donc utiliser la souris pour voir les parties non visibles à l’écran:
la source
Vous ne pouvez pas réellement changer les ppp physiques de votre moniteur. Le ppp réel est le ppp matériel réel, mais la plupart des logiciels supposent un ppp de 72 ppp pour des raisons historiques, bien que 96 ppp ne soit pas inhabituel pour le moment.
Vous pouvez changer la résolution du moniteur, ce qui change le ppi traduit, et vous pouvez changer des choses comme la taille de la police.
Si vous installez MyUnity, vous pouvez, entre autres choses, changer la police DPI.
Si vous disposiez d'un moniteur véritable de 1024x768 pixels (résolution) et que vous utilisiez une résolution de 72 ppp, il s'agirait d'un moniteur de 17 ". Si vous définissez une taille de police de 72, la taille du caractère sera de 1". Si vous définissez l'affichage sur une résolution de 800x600, la police sera plus grande, alors que définir 1600x1200 réduira l'apparence de la police.
la source