小智 2
在 GNOME 中,我可以使用以下命令打印 gnome 终端配置文件列表:
$ gconftool-2 --get /apps/gnome-terminal/global/profile_list
[Default,Profile0]
Run Code Online (Sandbox Code Playgroud)
然后我可以打印字体设置:
$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
Monospace 12
$ gconftool-2 --get /apps/gnome-terminal/profiles/Profile0/font
TakaoMincho Bold 36
Run Code Online (Sandbox Code Playgroud)
| 归档时间: |
|
| 查看次数: |
6712 次 |
| 最近记录: |