Como alterar o tamanho da fonte no painel gnome-shell

Eu tentei o gnome-shell no Ubuntu usando o gnome-shell --replacecomando Funciona bem, mas acho que o tamanho da fonte no painel do shell é muito grande.

É possível personalizar o tamanho da fonte no painel gnome-shell?

Por favor, altere o mesmo /usr/share/gnome-shell/theme/gnome-shell.css. Por exemplo, se você quer mudar a pia painel, você pode adicionar font-family: "FontName"em .panel-button. E você pode personalizar ainda mais a fonte do Painel, etc.

Você pode conferir minha postagem no blog sobre como personalizar o gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Encontrou isto:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

Eu brinquei com algumas das configurações do arquivo gnome-shell.css e, através de algumas tentativas e erros, consegui aumentar o tamanho do texto abaixo dos ícones de aplicativos. Na linha 638, aumentei o tamanho da fonte de 7.5 para 11.5, o que a tornou mais legível. Código:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

Eu também decidi diminuir o tamanho dos ícones.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Sim, é possível. Eu tive o mesmo problema :)

1. Você tem que editar o arquivo /usr/share/gnome-shell/js/ui/panel.js.
2. Encontre uma linha const DEFAULT_FONTe altere o tamanho da fonte (ou mesmo o nome).
3. Depois disso, você deve reiniciar o gnome-shell: pressione Alt+ F2, digite re pressione Enter.

BTW: você pode personalizar quase tudo editando arquivos JavaScript localizados no uidiretório

As postagens que recomendam a edição /usr/share/gnome-shell/theme/gnome-shell.cssestão corretas; no entanto, deve-se notar que, se você estiver usando um tema alternativo do gnome-shell (por exemplo, você está executando o Linux Mint), pode haver arquivos editáveis ​​adicionais.

Por exemplo, o tema 'Mint-Z' do Mint12 possui arquivos .css configuráveis /usr/share/themes/Mint-Z.

Além disso, as extensões gnome-shell podem ter seus próprios arquivos .css configuráveis, localizados em /usr/share/gnome-shell/extensions/{extension id}/ou $HOME/.local/share/gnome-shell/extensions/{extension id}/. Não sei se essas configurações podem substituir os padrões do tema.

EDIT: @Guilherme realmente responde à sua pergunta.

FYI No meu sistema ( gnome-shell 3.2.1-0ubuntu1), o seletor css apropriado está localizado na /usr/share/gnome-shell/theme/gnome-shell.csslinha 720 e está definido como 7.5pt. A configuração real para o meu sistema Mint12, no entanto, está em /usr/share/themes/Mint-Z/gnome-shell.css@line 880 e está definida como 8pt. Modifique esse valor e recarregue seu tema usando o comando 'rt' no ALT+F2prompt.

sudo gedit /usr/share/vte/termcap/xterm

Edite esta linha:

:co#80:it#8:li#24:\

Fonte:

http://ubuntuforums.org/showthread.php?t=15471