Eu tentei o gnome-shell no Ubuntu usando o comando gnome-shell --replace . Funciona bem, mas acho que o tamanho da fonte no painel do shell é muito grande.
É possível customizar o tamanho da fonte no painel do shell do gnome?
Por favor, altere o /usr/share/gnome-shell/theme/gnome-shell.css de acordo. Por exemplo, se você quiser alterar a fonte do painel, poderá adicionar font-family: "FontName" em .panel-button . E você pode personalizar ainda mais a fonte do painel, etc.
Você pode conferir a postagem do meu blog sobre personalização do gnome-shell: link
Encontrou isto:
cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css
Eu brinquei com algumas das configurações no arquivo gnome-shell.css e através de um pouco de tentativa e erro, consegui aumentar o tamanho do texto abaixo dos ícones do aplicativo. Na linha 638, eu aumentei o tamanho da fonte de 7,5pt para 11,5pt, 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:)
/usr/share/gnome-shell/js/ui/panel.js . const DEFAULT_FONT e altere o tamanho da fonte (ou até mesmo o nome). BTW: você pode personalizar quase tudo editando arquivos JavaScript localizados no diretório ui .
As postagens que recomendam a edição /usr/share/gnome-shell/theme/gnome-shell.css estã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' de Mint12 tem arquivos .css configuráveis em /usr/share/themes/Mint-Z .
Além disso, as extensões do 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 tenho certeza se essas configurações podem substituir os padrões do tema.
EDITAR: @Guilherme realmente responde sua pergunta.
FYI No meu sistema ( gnome-shell 3.2.1-0ubuntu1 ), o seletor css apropriado está localizado em /usr/share/gnome-shell/theme/gnome-shell.css , na linha 720, e está definido como 7.5pt . A configuração real do 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 prompt ALT+F2 .
sudo gedit /usr/share/vte/termcap/xterm
Edite esta linha:
:co#80:it#8:li#24:\
Fonte: