[dev] Re: [dev] Re: [dev] [dev] Usage, -h, --help, help, synopsis, …

From: Anh Hai Trinh <anh.hai.trinh_AT_gmail.com>
Date: Wed, 18 Aug 2010 23:09:50 +0700

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.

-- 
@chickamade
Received 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