New answers tagged man
Try these commands to generate man output without a pager. man ls | cat (generated fixed width) man -P cat ls (generated variable width) I was on a GNU linux system
The semantics and the usual glyphs for these characters have changed (several times) during the last 50 years. The six-bit predecessors of ASCII contained various multi-purpose characters, including one single quote-like character, which was used for anything that had some similarity with a quote: opening quote, closing quote, apostrophe, or (by ...
Output like that is generated by makeinfo from Texinfo sources. Texinfo can also render to other formats like PDF, so it needs to be more expressive than ASCII. Maybe to avoid throwing away semantics, makeinfo encodes quotes like that, so you can see what is opening and closing quotes. Example: If you couldn't see the difference, I can imagine I'd be a bit ...
Top 50 recent answers are included