Hacker News new | past | comments | ask | show | jobs | submit login

Is there a way to avoid Times New Roman? Some of the characters are pretty ambiguous. I remember, back when I used that command, I mixed up an l and a 1 for one of the flags.



To be pedantic, the font you're seeing isn't Times New Roman, but rather Times. They're similar, but there are subtle differences.

Yes, you can choose a default font. You need to change your /etc/man.conf, find the line that starts with TROFF, and add new options. For example, to use Palatino as the default font, you should additionally provide the option `-f P`. Then you'll get this output: https://dl.dropboxusercontent.com/u/845567/bash%281%29%20Pal...


> To be pedantic, the font you're seeing isn't Times New Roman, but rather Times. They're similar, but there are subtle differences.

And there's an interesting history to that split: https://en.wikipedia.org/wiki/Times_New_Roman#Linotype_relea...


Just like my AT&T 3B2 manual from 1985!


If instead of -t you pipe the output of the manpages into groff which is responsible for the file type, formatting, etc there is a font-family flag.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: