如何在命令行中更改 gnome 终端字体？

Question

我知道如何使用 gui 更改 gnome 的终端字体

但我想使用终端（自动方式）做同样的事情。我怎样才能做到这一点 ？

Answer 1

我刚刚发现我可以用gconftool-2，例如：

 gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"

Answer 2

要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 上测试。你的旅费可能会改变。