Changes between Initial Version and Version 1 of Ticket #3243, comment 2


Ignore:
Timestamp:
08/20/14 13:41:16 (10 years ago)
Author:
egmont
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3243, comment 2

    initial v1  
    11Fix attached.  Tested on Ubuntu Trusty 14.04 (man-db 2.6.7.1, groff 1.22.2).  I can't tell if it works on other systems that might use different man implementations. 
    22 
    3 When the output is not a tty (which is the case here), mc seems to ignore the pager and remove all formatting by default.  The option "-P cat" is hence totally useless, but it's a nice safeguard against possible different man implementations, to make sure they don't mess up anything if they invoke the pager. 
     3When the output is not a tty (which is the case here), "man" seems to ignore the pager and remove all formatting by default.  The option "-P cat" is hence totally useless, but it's a nice safeguard against possible different man implementations, to make sure they don't mess up anything if they invoke the pager. 
    44 
    5 The environment variable MAN_KEEP_FORMATTING forces man to keep the formatting sequences for bold and underlined, even if the output is not a tty. 
     5The environment variable MAN_KEEP_FORMATTING forces "man" to keep the formatting sequences for bold and underlined, even if the output is not a tty.