[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: |
Stepan Kasal |
|
Subject: |
Re: Grep man page: --line-buffering vs. --line-buffered |
|
Date: |
Mon, 19 May 2003 11:55:20 +0200 |
|
User-agent: |
Mutt/1.2.5.1i |
Hello.
On Sat, May 17, 2003 at 12:17:10AM +0300, Jori Mantysalo wrote:
> --line-buffering Use line buffering, it can be a performance penality.
> Last one is right, so man page has to be changed.
Thank you very much for your bug report. The issue will be fixed in
the next release.
Stepan Kasal
Re: Grep man page: --line-buffering vs. --line-buffered,
Stepan Kasal <=