Você pode usar (GNOME) Tweaks , anteriormente conhecido como (GNOME) Tweak Tool. É uma interface gráfica para configurações avançadas do GNOME 3.
Você deve obter o que procura nesta ferramenta:
Você pode criar uma substituição CSS personalizada para o tema do shell em seu diretório inicial e carregá-la de lá para alterar a fonte da barra superior (que é controlada pelo tema do shell). Para isso, siga os passos abaixo.
- Crie um diretório, diga
MyTheme
em~/.themes
. - Crie outro diretório dentro de
MyTheme
chamadognome-shell
. - Crie um documento vazio neste diretório
gnome-shell
e nomeie-o comognome-shell.css
. -
Abra este
gnome-shell.css
em um editor de texto e adicione as seguintes linhasstage { font-family: FONT_NAME, Sans-Serif; font-size: 14pt; color: #ffffff; }
Substitua
FONT_NAME
por uma fonte de sua escolha e altere ofont-size
a seu gosto (você também pode alterar a cor) e salve o arquivo. -
Instale e ative a extensão Temas do usuário de aqui .
-
Vá para a seção Aparência do Tweaks e clique na caixa suspensa ao lado de " Tema do shell ". MyTheme deve aparecer na lista suspensa. Selecione-o.
-
Faça logout e faça login novamente.