Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a terminal command which allows me to see which font is used in a Linux terminal window?

share|improve this question
That depends on what terminal you use and maybe on the distro, too. Could you please give us more information about that? – wullxz Jan 5 '13 at 23:52
Sure: at the moment I am using the default terminal on Arch Linux. I thought that maybe there was a standard, distro-independent command for that – user1301428 Jan 5 '13 at 23:59
@user1301428 There is no such thing as "default terminal" on Arch Linux (unless you mean the Linux console). Which desktop environment are you using? – Aluísio A. S. G. Jan 6 '13 at 0:05
If you're using a graphical terminal, you can surely find a menu entry called Help -> About where you can possibly find the name of your terminal application. Or do you mean the terminals that are accessable using STRG + ALT + 1-6? – wullxz Jan 6 '13 at 0:12
@AluísioA.S.G. yes, sorry, I was tired :D I mean the Linux console. I am currently not using a desktop environment or a window manager. – user1301428 Jan 6 '13 at 11:00

In GNOME I can print list of my gnome-terminal profiles with following command:

$ gconftool-2 --get /apps/gnome-terminal/global/profile_list

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
share|improve this answer
Is there a DE-independent command? – user1301428 Jan 13 '13 at 13:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .