回答:
/usr/share/gnome-shell/theme/gnome-shell.css
それに応じて変更してください。あなたはパネルのフォントを変更したい場合たとえば、あなたは追加することができますfont-family: "FontName"
に.panel-button
。また、ダッシュボードのフォントなどをさらにカスタマイズできます。
gnome-shellのカスタマイズに関する私のブログ投稿をチェックアウトできます:http : //joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/
これを見つけました:
cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css
私はgnome-shell.cssファイルの設定をいくつか試し、試行錯誤を繰り返して、アプリケーションアイコンの下にあるテキストのサイズを大きくすることに成功しました。638行目で、フォントサイズを7.5ptから11.5ptに増やして読みやすくしました。コード:
.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;
}
また、アイコンのサイズを小さくすることも決めました。
.icon-grid .overview-icon {
icon-size: 96px;
}
編集を推奨する投稿/usr/share/gnome-shell/theme/gnome-shell.css
は正しいです。ただし、代替のgnome-shellテーマを使用している場合(Linux Mintを実行している場合など)、追加の編集可能なファイルがある可能性があることに注意してください。
たとえば、Mint12の「Mint-Z」テーマには、構成可能な.cssファイルがあり/usr/share/themes/Mint-Z
ます。
さらに、gnome-shell拡張には、/usr/share/gnome-shell/extensions/{extension id}/
またはにある独自の構成可能な.cssファイルが含まれる場合があり$HOME/.local/share/gnome-shell/extensions/{extension id}/
ます。これらの設定がテーマのデフォルトを上書きできるかどうかはわかりませんが。
編集:@Guilhermeは実際にあなたの質問に答えます。
参考までに、私のシステム(gnome-shell 3.2.1-0ubuntu1
)では、適切なcssセレクターがにあり/usr/share/gnome-shell/theme/gnome-shell.css
、行720にあり、に設定されてい7.5pt
ます。しかし、私のMint12システムの実際の設定は、@ /usr/share/themes/Mint-Z/gnome-shell.css
line 880にあり、に設定されてい8pt
ます。この値を変更してから、ALT+F2
プロンプトで「rt」コマンドを使用してテーマをリロードします。
sudo gedit /usr/share/vte/termcap/xterm
この行を編集します。
:co#80:it#8:li#24:\
ソース:
infocmp xterm > xterm.ti
しtic xterm.ti
ます。)