GNOMEシェルのトップバーのサイズを変更する方法

Question

ファイルを探す /usr/share/gnome-shell/theme/gnome-shell.css

コマンドを実行して編集用に開きます。

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

その後、ファイルの先頭に

/* default text style */
stage {
    font-family: cantarell, sans-serif;
    font-size: 11pt; 
    color: white;
}

font-size: 11pt変更なし font-size: 9pt

これでファイルを保存すると、シェルのフォントサイズが変更されました。これにより、トップバーのサイズも変更されますが、このファイルを読み込むにはテーマを再起動する必要があります。

Alt + F2を押してEnterを押し、rEnterを押します。

動作する必要があります。私はUbuntuを使用していませんが、Fedoraでは動作します。

Answer 1