Como posso alterar a fonte da barra superior sem alterar o tema da shell?

Question

Estou usando o Ubuntu GNOME 17.04. Eu quero mudar a fonte da barra superior do GNOME da fonte padrão por Adapta para Fira Sans. Eu já tenho todas as fontes, eu só quero mudar a fonte da barra superior para que não pareça fora de lugar em comparação com todo o resto.

    

Answer 1

Você pode criar uma substituição css personalizada em seu diretório pessoal e carregá-la de lá (caso contrário, se você fizer alguma alteração na folha de estilos do tema, qualquer atualização do tema provavelmente a sobrescreverá).

Primeiro você deve saber onde o tema Adapta está localizado. Se você o instalou de um pacote .deb ou de um PPA, ele deve estar localizado em /usr/share/themes/Adapta e deve haver um arquivo gnome-shell.css em /usr/share/themes/Adapta/gnome-shell/ .

Agora siga os passos abaixo.

1. Crie um diretório, diga MyTheme em ~/.themes ou em ~/.local/share/themes . (Você pode criar ~/.themes ou ~/.local/share/themes se eles não existirem.)
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 gnome-shell.css em um editor de texto e adicione as seguintes linhas

   @import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  
   
   stage {
       font-family: FONT_NAME, Sans-Serif;
       font-size: 14pt;
       color: #ffffff;
   }
   

   Altere FONT_NAME para uma fonte de sua escolha (você também pode alterar o tamanho e a cor da fonte) e salve o arquivo.

5. Abra GNOME Tweak Tools e ative a extensão Temas do usuário . (Se a extensão não estiver instalada, você pode instalá-la em aqui .)

6. Vá para a seção Aparência do Tweak Tools e clique na caixa suspensa ao lado de " Tema do shell ". MyTheme deve aparecer na lista suspensa. Selecione-o.

7. Reinicie o shell do GNOME digitando alt + f2 e então R + digite (funciona em um Sessão do Xorg, no logout do Wayland e faça o login novamente).

Answer 2

Encontrei a resposta para minha pergunta! A maneira mais eficaz de alterar a fonte da barra superior é alterar as famílias de fontes no arquivo gnome-shell.css .

Para fazer isso, primeiro use

sudo su

para abrir um terminal raiz. Então use

nautilus --browser

para abrir uma versão raiz do Nautilus.

Você então desejará navegar para /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/ . Abra o arquivo e onde ele diz algo como

stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

altere a primeira fonte para o nome da sua fonte. O resultado deve ser algo como

stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

se você alterou a fonte para Fira Sans.

Reinicie o shell usando Alt + F2 e digite r .

Isso faz com que os temas que você deseja tenham as fontes que você deseja, em vez de mudar para o Adwaita.

Nota: Atualizações do GTK Themes podem atrapalhar essa configuração, então a resposta de pomsky foi marcada como a melhor.