ubuntu 修改字体大小 

gsettings set org.gnome.desktop.interface document-font-name 'Sans 10'
gsettings set org.gnome.desktop.interface font-name 'Ubuntu 10'
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 11'
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'

扫码关注

实用AI客栈

获取最新AI资讯与实战案例

小编微信号 : langu86

 

posted @ 2022-11-13 22:37  dlhl  阅读(96)  评论(0)    收藏  举报