[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Grep man page: --line-buffering vs. --line-buffered
|
From: |
Jori Mantysalo |
|
Subject: |
Grep man page: --line-buffering vs. --line-buffered |
|
Date: |
Sat, 17 May 2003 00:17:10 +0300 (EEST) |
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.
--
Jori Mäntysalo
- Grep man page: --line-buffering vs. --line-buffered,
Jori Mantysalo <=
Re: Grep man page: --line-buffering vs. --line-buffered, Stepan Kasal, 2003/05/19