[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 18:15:12 -0400 |
|
User-agent: |
Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) |
I wrote:
> 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.
Oops, I thought you were talking about the descriptions. You're
right, "--line-buffering" is a typo.
paul
Re: Grep man page: --line-buffering vs. --line-buffered, Stepan Kasal, 2003/05/19