blob: 6a417a9b9b4df7e9dccce056ec3c3d7c1938203d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
grep recognizes '--line-buffered' instead of '--line-buffering'
taviso (20 Aug 2004)
--- doc/grep.1.orig 2004-08-20 09:28:45.857442048 +0100
+++ doc/grep.1 2004-08-20 09:27:20.959348520 +0100
@@ -303,7 +303,7 @@
This is especially useful for tools like zgrep, e.g.
.B "gzip -cd foo.gz |grep --label=foo something"
.TP
-.BR \-\^\-line-buffering
+.BR \-\^\-line-buffered
Use line buffering, it can be a performance penality.
.TP
.BR \-q ", " \-\^\-quiet ", " \-\^\-silent
|
GitWeb
