How to change the fonts of gnome-shell for gnome3? Like the system bar.
The fonts of gnome-shell is described in its own theme.
For the default gnome-shell, you need to edit the file as root:
/usr/share/gnome-shell/theme/gnome-shell.css
Right, it is a css file.
Find the font-family keyword and change the corresponding fonts.
Then you can restart Gnome 3.
