[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: |
Jori Mantysalo |
|
Subject: |
Re: Grep man page: --line-buffering vs. --line-buffered |
|
Date: |
Sat, 17 May 2003 01:10:59 +0300 (EEST) |
On Fri, 16 May 2003, Paul Jarc wrote:
> > man grep says
> >
> > --line-buffering Use line buffering, it can be a performance penality.
> I think both are correct.
???
address@hidden tmp]$ grep --version | head -1
grep (GNU grep) 2.5.1
address@hidden tmp]$ grep --line-buffering cat animals
grep: unrecognized option `--line-buffering'
Usage: grep [OPTION]... PATTERN [FILE]...
Try `grep --help' for more information.
--
Jori Mäntysalo
Re: Grep man page: --line-buffering vs. --line-buffered, Stepan Kasal, 2003/05/19