如何更改gnome3的gnome-shell字体？

How to change the fonts of gnome-shell for gnome3? Like the system bar.

如何更改字体侏儒 - 壳为GNOME3？ 就像系统栏一样。

The fonts of gnome-shell is described in its own theme.

gnome-shell的字体以其自己的主题描述。

For the default gnome-shell, you need to edit the file as root:

对于默认的gnome-shell，您需要以root用户身份编辑文件：

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

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

Right, it is a css file.

是的，这是一个CSS文件。

Find the font-family keyword and change the corresponding fonts.

找到font-family关键字并更改相应的字体。

Then you can restart Gnome 3.

然后，您可以重新启动Gnome 3 。

Answered by Eric Z Ma.

埃里克·马（Eric Z Ma）回答。

翻译自: https://www.systutorials.com/how-to-change-the-fonts-of-gnome-shell-for-gnome3/