How to check which font the system uses?
Solution 1:
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
Solution 2:
as far as I understood from your comment, you are asking about the Linux console, and not about any of the [great number of the] X terminal emulators.
So unless you changed anything your Linux console is using the "default" font on your system.
To learn what it is, type
setfont -v
In your linux console. For me, it gives
$ setfont -v
Loading 256-char 8x16 font from file /lib/kbd/consolefonts/default8x16.psfu.gz
Loading Unicode mapping table...