[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Grep man page: --line-buffering vs. --line-buffered
|
From: |
Paul Jarc |
|
Subject: |
Re: Grep man page: --line-buffering vs. --line-buffered |
|
Date: |
Fri, 16 May 2003 17:22:06 -0400 |
|
User-agent: |
Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) |
Jori Mantysalo <address@hidden> wrote:
> man grep says
>
> --line-buffering Use line buffering, it can be a performance penality.
>
> but grep --help says
>
> --line-buffered flush output on every line
>
> Last one is right, so man page has to be changed.
I think both are correct. The man page (well, the info page, anyway)
could explain the issue a bit better.
paul
Re: Grep man page: --line-buffering vs. --line-buffered, Stepan Kasal, 2003/05/19