Como posso alterar a fonte do terminal gnome na linha de comando?

Question

Eu sei como alterar a fonte do terminal do gnome usando o gui

Mas eu gostaria de fazer o mesmo usando o terminal (maneira automatizada). Como posso fazer isso?

    

Answer 1

Acabei de descobrir que posso fazer isso com gconftool-2 , por exemplo :

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

    

Answer 2

Para desmarcar também a caixa de seleção Use the system fixed width font na linha de comando, use:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_system_font --type=boolean false

Testado no Linux Mint Cinnamon 17.1. Sua milhagem pode variar.