Como posso alterar a fonte de barra superior do GNOME 3.8?

3

Não pode ser alterado através da ferramenta GNOME Tweak, então alguém sabe a resposta?

    
por yanglifu90 20.08.2013 / 09:03

1 resposta

5

Se você quiser uma solução rápida e suja, basta editar

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

É claro que isso provavelmente será sobrescrito na próxima vez que você atualizar seu pacote gnome-shell.

O modo mais limpo (mas um pouco mais complexo) é criar o seu próprio (mini-) tema:

link

    
por 20.08.2013 / 10:49

Tags