如何调整 GNOME shell 顶部栏的大小

Question

我使用的是 Ubuntu 12.04 并安装了 gnome-shell，但我发现顶部栏比正常情况下大，如何更改其大小？

Answer 1

找到文件 /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 并输入r然后按 Enter

它应该可以工作，我不使用 ubuntu，但它可以在 fedora 上工作

Answer 2

1. 按住两个“ [Windows] key + [Alt]”
2. “ Right-click“ 酒吧
3. 单击“属性”。

在“常规选项卡”中，只需调整栏的大小即可。