Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.