Tell me more ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.
up vote 1 down vote favorite

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 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 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 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 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 at 11:00
show 1 more comment

1 Answer

up vote 0 down vote

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

Your Answer

 
discard

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.