概述
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 。
翻译自: https://www.systutorials.com/how-to-change-the-fonts-of-gnome-shell-for-gnome3/
最后
以上就是纯真书包为你收集整理的如何更改gnome3的gnome-shell字体?的全部内容,希望文章能够帮你解决如何更改gnome3的gnome-shell字体?所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。
发表评论 取消回复