diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2020-09-22 10:56:29 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-09-22 10:58:55 -0700 |
commit | b0748fc4affd1cb6d77473f202e67af1a80d9570 (patch) | |
tree | 96c621086683f5be7aacca7136cb3543428674d6 /doc | |
parent | c4d7c4210b12b77113bd12abb5867f3b8c14ace9 (diff) | |
download | grep-b0748fc4affd1cb6d77473f202e67af1a80d9570.tar.gz |
doc: improve --line-buffer doc
* doc/grep.texi (Other Options): Document --line-buffered more
carefully, and say what happens when it is not used. Problem
reported by Dan Jacobson (Bug#35339).
Diffstat (limited to 'doc')
-rw-r--r-- | doc/grep.texi | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/grep.texi b/doc/grep.texi index 15185f3f..bb76ae10 100644 --- a/doc/grep.texi +++ b/doc/grep.texi @@ -771,8 +771,11 @@ and @file{file2}. @item --line-buffered @opindex --line-buffered @cindex line buffering -Use line buffering on output. -This can cause a performance penalty. +Use line buffering for standard output, regardless of output device. +By default, standard output is line buffered for interactive devices, +and is fully buffered otherwise. With full buffering, the output +buffer is flushed when full; with line buffering, the buffer is also +flushed after every output line. The buffer size is system dependent. @item -U @itemx --binary |