I know how to change gnome's terminal font using the gui
But I would like to do the same using the terminal (automated way). How can I do that ?
I have just found out that I can do this with gconftool-2, e.g. :
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
8 months ago