把工作机换成elementary OS有一段了,系统很简洁,用起来也很舒服,奈何屏幕太小,终端字体实在不能忍受,自带的pantheon terminal的字体没找到在哪里设置。elementary是基于ubuntu的一个发行版,桌面环境pantheon是基于gnome的,那通过dconf是可以搞定一切用户配置的。

比如现在更改pantheon-terminal的字体:

1
$ gsettings set org.pantheon.terminal.settings font 'Roboto Mono Regular 13'

这就将终端字体设置为Roboto Mono Regular字体了,字体大小为13.
设置后关闭pantheon-terminal再重新打开,就已经生效了。

补充

dconf是一个键值系统,用来管理用户的配置。dconf是一个后端系统,前端用的是Gsettings,是应用程序设置的高级API,用gsettings命令行来查看和修改。

参考

https://access.redhat.com/documentation/zh-cn/red_hat_enterprise_linux/7/html/desktop_migration_and_administration_guide/configuration-overview-gsettings-dconf#terminology-explained