Great question — answering as the UphillTech team:
In GNOME I can print list of my gnome-terminal profiles with following command: $ gconftool-2 --get /apps/gnome-terminal/global/profile_list [Default,Profile0] Then I can print font settings with: $ gconftool-2 --get /apps/gnome-terminal/profiles/Default/font Monospace 12 $ gconftool-2 --get /apps/gnome-terminal/profiles/Profile0/font TakaoMincho Bold 36
Full answer by Nykakin: https://superuser.stackexchange.com/a/530385 (CC BY-SA 3.0).
Need it done for your business? UphillTech.