如何更改 GNOME 3.8 頂欄字型？

它不能通過 GNOME Tweak Tool 更改，所以有人知道答案嗎？

如果您想要一個快速而骯髒的解決方案，只需編輯

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

當然，下次您更新 gnome-shell 軟體包時，這可能會被覆蓋。

更清潔（但更複雜）的方法是創建您自己的（迷你）主題：

http://rlog.rgtti.com/2012/01/29/how-to-modify-a-gnome-shell-theme/

引用自：https://unix.stackexchange.com/questions/87420