diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2009-12-22 10:18:07 +0100 |
---|---|---|
committer | Paolo Bonzini <bonzini@gnu.org> | 2009-12-22 12:26:41 +0100 |
commit | ab21b6037ec92eea32c3cf57220f3b2e567d784d (patch) | |
tree | f78cf5e5792b436d0add4aca09f75390cec50577 /doc | |
parent | 246dcbdb86292eb65d20ece05ecab823653e8411 (diff) | |
download | grep-ab21b6037ec92eea32c3cf57220f3b2e567d784d.tar.gz |
Improve description of --label
Fixes bug 22681.
* doc/grep.1 (--label): Use -H in the example, improve wording.
* doc/grep.texi (Output Line Prefix Control): Likewise.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/grep.1 | 4 | ||||
-rw-r--r-- | doc/grep.texi | 8 |
2 files changed, 6 insertions, 6 deletions
@@ -314,10 +314,10 @@ This is the default when there is only one file .BI \-\^\-label= LABEL Display input actually coming from standard input as input coming from file .I LABEL. -This is especially useful for tools like +This is especially useful when implementing tools like .BR zgrep , e.g., -.B "gzip -cd foo.gz | grep --label=foo something" +.B "gzip -cd foo.gz | grep --label=foo -H something" .TP .BR \-n ", " \-\^\-line\-number Prefix each line of output with the 1-based line number diff --git a/doc/grep.texi b/doc/grep.texi index 2714c58e..a4a87f6a 100644 --- a/doc/grep.texi +++ b/doc/grep.texi @@ -414,12 +414,12 @@ This is the default when there is only one file @opindex --label @cindex changing name of standard input Display input actually coming from standard input -as input coming from file @var{LABEL}. -This is especially useful for tools like @command{zgrep}; -e.g.: +as input coming from file @var{LABEL}. This is +especially useful when implementing tools like +@command{zgrep}; e.g.: @example -gzip -cd foo.gz | grep --label=foo something +gzip -cd foo.gz | grep --label=foo -H something @end example @item -n |