Non fixed wdth fonts

Asked by David on 2013-11-14

In the man_config page it suggests an example of "Sans 12" as a non fixed width terminal font. Although setting the font to a non fixed width font does show the correct font the spacing is compensated to "fixed width" the characters so it looks terrible. Is there a way to disable auto"fixed widthing" the character width?

Question information

Language:
English Edit question
Status:
Answered
For:
Terminator Edit question
Assignee:
No assignee Edit question
Last query:
2013-11-14
Last reply:
2013-11-18

As far as I know, no. I can't think of any terminals (on Linux at least) that do correct proportional layout. If they do it causes hideous formatting for columned output (i.e. ls -l). Either the characters conform to the grid causing the ugliness you see, or you get misaligned columns that are impossible to read like here:

drwxrwxr-x 2 xxxxxx xxxxxx 4096 Oct 25 17:03 doc
-rw-rw-r-- 1 xxxxxx xxxxxx 0 Nov 15 16:42 __init__.py
-rw-rw-r-- 1 xxxxxx xxxxxx 1448 Oct 25 17:03 INSTALL
-rw-rw-r-- 1 xxxxxx xxxxxx 442 Nov 18 14:37 NOTES.txt
drwxrwxr-x 2 xxxxxx xxxxxx 4096 Oct 25 17:03 po
-rw-rw-r-- 1 xxxxxx xxxxxx 2248 Oct 25 17:03 README

Can you help with this problem?

Provide an answer of your own, or ask David for more information if necessary.

To post a message you must log in.