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...