Как изменить DPI в Ubuntu GNOME 14.04?
Я хотел бы сделать следующее: «Измените DPI на 144 в Ubuntu GNOME 14.04».
Поскольку я впервые использую Linux, я установил VMware Player на свой ноутбук и установил Ubuntu GNOME 14.04.
У моего ноутбука 1920x1080 с 11,6-дюймовым дисплеем, поэтому я использую 144 dpi для Windows 8.1, которая является хостом VMware, но в Ubuntu GNOME буквы становятся очень маленькими.
Сначала я попытался использовать Gnome-Tweak-Tool для изменения коэффициента масштабирования текста. Изменяет размеры шрифта в заголовках, меню и т. Д., Но не для содержимого некоторых приложений. (например, firefox)
Итак, я использую MSN для Google, и он говорит мне, что в GNOME размер dpi записывается в исходном коде gnome-setting-deamon.
plugins / xsettings / gsd-xsettings-manager.c
#define DPI_FALLBACK 96
Таким образом, я попробовал команды ниже.
$ mkdir source
$ cd source
$ apt-get source gnome-settings-deamon
$ cd gnome-settings-daemon-3.8.6.1
и заменить строку на #define DPI_FALLBACK 144.
Что мне делать дальше, чтобы отразить это изменение в моей системе?
Я не уверен, что у меня есть способ сбора или нет, поэтому, если это не так, скажите, пожалуйста, мне правильный путь.
Спасибо за вашу помощь.
1 ответ
Вы, вероятно, хотите проверить: то, Как скорректировать DPI в 14,04
, Что Вы сделали, было загрузить источник для гнома-демона настроек и отредактировать конфигурацию из того источника. Это ни на что не влияет, так как вещи в Вашей исходной папке не используются Вашей системой. Это только работало бы, если бы Вы скомпилировали его и перезаписали соответствующие файлы в Вашей системе, но не делайте этого, так как это, вероятно, повредило бы много вещей и является плохой практикой - это - плохой способ настроить вещи. Если Вы действительно хотели настроить материал в Linux, лучше, чтобы Вы использовали конфигурационные файлы.
пример файла конфигурации (но это наиболее вероятно не, что Вы хотите решить свою проблему DPI): https://help.gnome.org/admin/gdm/stable/configuration.html.en#daemonconfig