On Wed, Aug 18, 2010 at 10:27 AM, Kris Maglione <maglione.k_AT_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.
-- @chickamadeReceived on Wed Aug 18 2010 - 18:09:50 CEST
This archive was generated by hypermail 2.2.0 : Wed Aug 18 2010 - 18:12:03 CEST