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

12

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

— Justin15
fonte

20

Você pode criar uma substituição personalizada de css no diretório inicial e carregá-la a partir daí (caso contrário, se você fizer alguma alteração na folha de estilos do tema, qualquer atualização do tema provavelmente o substituirá).

Primeiro, você deve saber onde o tema do Adapta está localizado. Se você o instalou a partir de um .debpacote ou PPA, ele deve estar localizado em /usr/share/themes/Adaptae deve haver um gnome-shell.cssarquivo /usr/share/themes/Adapta/gnome-shell/.

Agora siga os passos abaixo.

Crie um diretório, digamos MyTheme, dentro ~/.themesou dentro ~/.local/share/themes. (Você pode criar ~/.themesou ~/.local/share/themesse não existirem.)
Crie outro diretório dentro MyThemechamado gnome-shell.
Crie um documento vazio neste gnome-shelldiretório e nomeie-o gnome-shell.css.
Abra isso gnome-shell.cssem 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;
}
```
Mude FONT_NAMEpara uma fonte de sua escolha (também é possível alterar o tamanho e a cor da fonte) e salve o arquivo.
Abra as Ferramentas de Tweak do GNOME e ative a extensão de temas do usuário . (Se a extensão não estiver instalada, você poderá instalá-la a partir daqui .)
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.
Reinicie o shell do GNOME digitando alt+ f2then R+ enter(funciona em uma sessão do Xorg, no logon de Wayland e faça o login novamente).

— pomsky
fonte

2

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

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ê vai querer 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+ F2e digite r.

Isso faz com que os temas desejados tenham as fontes desejadas, em vez de mudar para o Adwaita.

Nota: As atualizações nos Temas GTK podem atrapalhar essa configuração, portanto a resposta de pomsky foi marcada como a melhor.

— Justin15
fonte

3

Fiz a alteração na minha resposta para trabalhar com o tema Adapta. A propósito, você nunca deve iniciar um aplicativo gráfico como o Nautilus ou o gedit com o sudo normal . Como alternativa, você pode usar nanopara editar texto na linha de comando ou correr sudo -H gedit, sudo -H nautilusetc.

— pomsky

1

No Ubuntu 19.10, o gnome-shell.csslocal é:

/usr/share/gnome-shell/theme/Yaru/gnome-shell.css

Edite gnome-shell.csscomo administrador. Em seguida, procure

stage {
  font-family:

Basta adicionar o nome da família da fonte desejada. Por exemplo:

stage {
  font-family: Fira Sans, Cantarell, Sans-Serif;
  font-size: 10pt;
  color: #3D3D3D; }

Feito. Salve e efetue logout e logon novamente.

— FM Panda
fonte