27 ms·
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
by 0942v8653 10y ago
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.
- hashmymustache 10y agoIf 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.
- kccqzy 10y agoTo 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%20Palatino.pdf https://dl.dropboxusercontent.com/u/845567/bash%281%29%20Pal...
- amyjess 10y ago> 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_releases https://en.wikipedia.org/wiki/Times_New_Roman#Linotype_relea...
- throwanem 10y agoJust like my AT&T 3B2 manual from 1985!