如何在命令行中更改gnome终端字体?
我知道如何使用gui更改gnome的终端字体
但我想使用终端(自动方式)做同样的事情。 我怎样才能做到这一点 ?
我刚刚发现我可以用gconftool-2
做到这一点,例如:
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"
要从命令行取消选中“ Use the system fixed width font
复选框,请使用:
gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_system_font --type=boolean false
在Linux Mint Cinnamon 17.1上测试。 你的旅费可能会改变。