Como alterar as fontes do sistema Ubuntu 18.04?

Question

Instalei o Ubuntu 18.04 e quero personalizar as fontes. Eu já mudei toda a configuração por ferramenta tweak. Mas a fonte padrão do sistema não pode ser alterada, é algo que eu preciso fazer?

    

Answer 1

A fonte dos textos destacados nas capturas de tela que você postou é ditada pelo tema de shell do GNOME.

Como geralmente não é uma boa idéia editar os arquivos do sistema (qualquer atualização de um pacote associado provavelmente irá substituí-lo), você pode criar uma substituição css personalizada em seu diretório inicial e carregá-la de lá. Para fazer isso, siga as etapas abaixo.

1. Crie um diretório, diga MyTheme in ~/.themes . (Você pode criar ~/.themes se não existir).
2. Crie outro diretório dentro de MyTheme chamado gnome-shell .
3. Crie um documento vazio nesse diretório gnome-shell e nomeie-o como gnome-shell.css .

4. Abra este arquivo gnome-shell.css com um editor de texto e adicione as seguintes linhas

   @import url("/usr/share/gnome-shell/theme/ubuntu.css");  
   
   stage {
       font-family: FONT_NAME, Sans-Serif;
   }
   

   Altere FONT_NAME para a fonte de sua preferência e salve o arquivo.

5. Instale as extensão do GNOME chamou os temas de usuário de aqui .

6. Instale os (GNOME) Ajustes executando

   sudo apt install gnome-tweak-tool
   

7. Inicie o Tweaks e vá para a seção Aparência . Clique na caixa suspensa ao lado de " Tema da shell ". MyTheme deve aparecer na lista suspensa. Selecione-o.

8. Reinicie o shell do GNOME pressionando alt + f2 digitando r e pressionando enter (funciona em uma sessão Xorg, no logout do Wayland e faça o login novamente).