Como alterar o DPI no Ubuntu GNOME 14.04?

Question

O que eu gostaria de fazer é "Alterar DPI para 144 no Ubuntu GNOME 14.04".

Como é a primeira vez que uso linux, instalei o VMware Player no meu laptop, e eu instalei o Ubuntu GNOME 14.04.
Meu laptop tem 1920x1080 em tela de 11,6 polegadas, então eu uso 144 dpi para o Windows 8.1, que é o host do VMware, mas no Ubuntu GNOME, as letras ficam muito pequenas.

Primeiro, tentei usar o Gnome-Tweak-Tool para alterar o fator de escala de texto. Ele altera os tamanhos das fontes nas barras de título, menus, etc, mas não para o conteúdo de alguns aplicativos. (por exemplo, firefox)

Então, eu uso o MSN no google de outra forma, e isso me diz que no GNOME, o tamanho do dpi é escrito no código-fonte do gnome-setting-deamon.

plugins / xsettings / gsd-xsettings -manager.c
#define DPI_FALLBACK 96

Assim eu tentei os comandos abaixo.

$ mkdir source
$ cd source
$ apt-get source gnome-settings-deamon
$ cd gnome-settings-daemon-3.8.6.1

e substitua a linha por #define DPI_FALLBACK 144 .

O que devo fazer para refletir essa alteração no meu sistema?

Não tenho a certeza se tenho uma forma de recolher ou não, por isso, se estiver errado, por favor diga-me o caminho certo.

Obrigado pela sua ajuda.

    

Answer 1

Você provavelmente deseja conferir: Como ajustar o DPI em 14.04

O que você fez foi baixar a fonte do gnome-settings-daemon e editar a configuração dessa fonte. Isso não afeta nada, pois as coisas na sua pasta de origem não são usadas pelo seu sistema. Isso só funcionaria se você compilasse e sobrescrevesse os arquivos relevantes em seu sistema, mas não faça isso, pois ele provavelmente quebraria muitas coisas e seria uma má prática - é uma maneira ruim de configurar as coisas. Se você realmente queria configurar coisas no Linux, é melhor usar arquivos de configuração.

Um exemplo de arquivo de configuração (mas provavelmente não é isso que você deseja corrigir seu problema de DPI): link