Ce que j'aimerais faire, c'est "Changer DPI en 144 dans Ubuntu GNOME 14.04".
Parce que c'est la première fois que j'utilise Linux, j'ai installé VMware Player sur mon ordinateur portable, et j'ai installé Ubuntu GNOME 14.04.
Mon ordinateur portable a un écran de 11,6 pouces avec une résolution de 1920x1080, donc j'utilise 144 dpi pour Windows 8.1 qui est l'hôte de VMware, mais dans Ubuntu GNOME, les lettres deviennent vraiment petites.
Au début, j'ai essayé d'utiliser Gnome-Tweak-Tool pour changer le facteur d'échelle du texte. Cela change la taille des polices dans les barres de titre, les menus, etc., mais pas pour le contenu de certaines applications (par exemple, firefox).
Ainsi, j'ai utilisé MSN pour trouver une autre solution, et cela me dit que dans GNOME, la taille du dpi est écrite dans le code source de gnome-setting-deamon.
plugins/xsettings/gsd-xsettings-manager.c#define DPI_FALLBACK 96
J'ai donc essayé les commandes ci-dessous.
$ mkdir source
$ cd source
$ apt-get source gnome-settings-deamon
$ cd gnome-settings-daemon-3.8.6.1et remplacer la ligne par #define DPI_FALLBACK 144.
Que dois-je faire ensuite pour refléter ce changement sur mon système?
Je ne suis pas sûr d'avoir une méthode correcte ou non, donc si c'est incorrect, veuillez me dire la bonne façon de faire.
Merci pour votre aide.
