On Wed, Aug 18, 2010 at 10:27 AM, Kris Maglione <maglion...@gmail.com> wrote: > > GNU man has the annoying and difficult to stop habit of filling the entire > width of the terminal rather than wrapping at 80 chars. And if you set > $MANWIDTH or $COLUMNS to 80 and the terminal isn't that wide, you wind up > with badly broken wrapping. As for bold, fortunately my terminal has it > disabled, and reverse video has no place in manual pages. >
$MANWIDTH can be abused to some extend: $ cat grepman #!/bin/sh MANWIDTH=32767 exec man "$2" | grep --color=auto -C2 -- "$1" Set a bigger number for your own amusement. -- @chickamade
