Gnome任务栏高度更改

前些日子下载了个Orchis-theme, 感觉最上面的任务栏(或者叫状态栏/顶部栏？反正英文叫 panel top bar)宽度过高，屏幕不大的话，看起来非常难受，只能自己动手搜索解决，过程如下。

1.背景知识

自己安装的Gnome theme 目录在~/.theme，如下所示，我安装的是各种颜色的Orchis theme

➜  ~ cd .themes
➜  .themes ls
Orchis                Orchis-Green-Dark-Compact   Orchis-Grey-Light          Orchis-Orange-Dark-Compact   Orchis-Pink-Light           Orchis-Purple-Light-Compact  Orchis-Yellow
Orchis-Compact        Orchis-Green-Light          Orchis-Grey-Light-Compact  Orchis-Orange-Light          Orchis-Pink-Light-Compact   Orchis-Red                   Orchis-Yellow-Compact
Orchis-Dark           Orchis-Green-Light-Compact  Orchis-Light               Orchis-Orange-Light-Compact  Orchis-Purple               Orchis-Red-Compact           Orchis-Yellow-Dark
Orchis-Dark-Compact   Orchis-Grey                 Orchis-Light-Compact       Orchis-Pink                  Orchis-Purple-Compact       Orchis-Red-Dark              Orchis-Yellow-Dark-Compact
Orchis-Green          Orchis-Grey-Compact         Orchis-Orange              Orchis-Pink-Compact          Orchis-Purple-Dark          Orchis-Red-Dark-Compact      Orchis-Yellow-Light
Orchis-Green-Compact  Orchis-Grey-Dark            Orchis-Orange-Compact      Orchis-Pink-Dark             Orchis-Purple-Dark-Compact  Orchis-Red-Light             Orchis-Yellow-Light-Compact
Orchis-Green-Dark     Orchis-Grey-Dark-Compact    Orchis-Orange-Dark         Orchis-Pink-Dark-Compact     Orchis-Purple-Light         Orchis-Red-Light-Compact
➜  .themes pwd
/home/mephisto/.themes
➜  .themes ls -al /usr/share/themes
total 255
drwxr-xr-x  47 root root  47 May 19 13:45  .
drwxr-xr-x 345 root root 347 Sep  9 16:04  ..
drwxr-xr-x   4 root root   5 Apr 19 18:04  Adwaita
drwxr-xr-x   4 root root   5 Apr 19 18:04  Adwaita-dark
drwxr-xr-x   3 root root   3 May 19 13:45  Bright
drwxr-xr-x   3 root root   3 May 19 13:45  Daloa
drwxr-xr-x   6 root root   6 May 19 13:45  Default
drwxr-xr-x   3 root root   3 May 19 13:45  Default-hdpi

通过Gnome Tweaks 切换theme shell

如果碰到有个感叹号，不能选的话，还要安装个 gnome-shell-extensions:

sudo apt install gnome-shell-extensions

勾选上user themes，不会操作的话，可以网上搜索下。

2.更改gnome shell样式

需要修改的目标文件为gnome-shell.css, 路径是使用的themes的gnome-shell目录下

➜  gnome-shell realpath gnome-shell.css
/home/mephisto/.themes/Orchis-Green/gnome-shell/gnome-shell.css

找个编辑器，我用vscode，打开找到 Top Bar所在的样式配置行

配置的值是什么意思，可以查阅下css文档，这里不再赘述，修改的时候小心点，不然界面崩了还比较麻烦。 确认无误后，重载主题，无需重启Gnome Shell，按 'Alt+F2'快捷键, 输入rt，大概是"reload theme"，你可以根据自己的屏幕大小和喜好，调整对应的参数，直到满意为止，改之前也可以先被备份下，这样还可以救急回退

3. 效果

如果你熟悉css和gnome shell的配置逻辑，并且会设计，完全可以自己弄个themes给自己用，开出来给大家共享。

写在最后, 如果在修改的过程中Gnome Shell界面崩了，可以使用下面的方法：

• 按下 Ctrl+Alt+F1，登陆 tty1； # 我一般不用下面的步骤，直接startx到图形界面，复原文件
• 输入 export DISPLAY=:0
• 输入 gdb /usr/bin/gnome-shell
• 在 Gdb 中输入 r --replace
• 按下 Alt-F7，重回图形界面

如果是卡死，可以切换到其它控制台（tty1 ~ tty6），然后执行 DISPLAY=:0 gnome-shell --replace 或 gnome-shell --replace --display=:0。