Embora muitos usem o Unity, é verdade que os usuários do Ubuntu Gnome são poucos. Certamente muitos de vocês têm aquele tema perfeito para o Gnome Shell, mas que está faltando um detalhe como uma cor ou fonte de texto que queremos mudar. Neste caso, vamos explicar como alterar a fonte do texto de qualquer tema para o Gnome Shell.
Em primeiro lugar, devemos ter um software complementar que, em conjunto com o Gedit, nos ajude a editar este recurso. Então, primeiro temos que ir para o site Gnome Extensions e instale a extensão do tema do usuário ou "Extensão do tema do usuário". Depois de instalar este plugin para Gnome, temos que habilitar a visualização de pastas ocultas. Isso pode ser feito simplesmente pressionando as teclas «Control + H» quando o Nautilus estiver aberto.
Assim que tivermos isso temos que encontrar o arquivo gnome-shell.css e edite-o como administrador. Podemos fazer isso primeiro por meio do Nautilus, procurando por deste endereço / usr / share / themes. E assim que a pasta e o arquivo do tema que usamos forem localizados, podemos abrir o terminal e escrever o seguinte:
sudo gedit /usr/share/themes/"dirección del tema"/gnome-shell.css
Agora, uma vez que o arquivo está aberto, temos que ir para a entrada do palco. Esta entrada se refere ao núcleo do tópico Gnome-Shell. Assim, algo assim aparecerá
stage { font-family: Ubuntu; font-size: 9pt; color: #5c616b; }
Se quisermos mudar a fonte do texto, temos que mudar «Font-Family»Se quisermos mudar a cor da fonte, temos que mudar a «cor» e se quisermos mudar o tamanho, temos que mudar o «tamanho da fonte».
Em qualquer caso, uma vez que tenhamos feito as mudanças, nós as salvamos e fechamos o arquivo, então fechamos a sessão e a reabrimos para que as mudanças já tenham sido aplicadas.
O processo é simples como você pode ver, mas você deve ter cuidado com apenas modificar essa entrada e nada mais, porque podemos quebrar o tema do Gnome Shell e até mesmo momentaneamente tornar a área de trabalho inútil.