When I do a command such as:
man bash
I see quotes shown as:
``...''
There have been posts about why this happens:
- Man page quotation characters
- Why some strings are quoted with double backticks and double single quotes in man pages?
But, I haven't found a way to force man or the underlying pager to either show an ASCII double quote (") or to embolden the characters, or anything other than using the backtick/prime characters.
My use case is that I want to be able to search the bash man page for single quotes or backticks for where they have semantic value and the clutter of non-semantic backtick/prime characters makes this difficult.
I have tried changing LC_ALL from en_us.UTF-8 to C, and have tried using man's option -P to specify other pagers/options, but I have not yet found a solution.
My environment is man 2.6.3, CentOS 7.2 (3.10.0-327.13.1.el7.x86_64), bash 4.2.46(1) or zsh 5.0.2.
My preference would be to discover a solution that causes man to render double quotes either as the ASCII double-quote character (") or to render the quoted content as formatted text (for example, by underlining or emboldening it).
This similarly applies to how man renders single-quoted content as `content'.
A poor workaround:
man bash | sed -e "s/\(''\|\`\`\)//g" -e "s/\`\([^']*\)/\1/g" | less
Can anyone tell me how to make man to not show quoted content with backticks and primes? The solution should not require the installation of any software (that is, the solution should work with a CentOS 7.2 minimal installation).
man -Tutf8 bash
still uses''
when UTF-8 has a proper "99" substitute (”
).