GNU bug report logs - #26139
[PATCH] doc: document the option delimiter '--'

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 26139 in the body.
You can then email your comments to 26139 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: bug-grep <at> gnu.org
Cc: Bernhard Voelker <mail <at> bernhard-voelker.de>
Subject: [PATCH] doc: document the option delimiter '--'
Date: Fri, 17 Mar 2017 11:42:10 +0100

* doc/grep.texi (Other options): Do the above.

Reported in
https://lists.opensuse.org/opensuse/2017-03/msg00411.html
---
 doc/grep.texi | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/grep.texi b/doc/grep.texi
index 077c05f..2bc3435 100644
--- a/doc/grep.texi
+++ b/doc/grep.texi
@@ -730,6 +730,14 @@ directory, recursively, following all symbolic links.
 
 @table @option
 
+@item --
+@opindex --
+@cindex option delimiter
+Delimit the option list.  Later arguments, if any, are treated as
+operands even if they begin with @samp{-}.  For example, @samp{grep PAT --
+-file1 file2} searches for the pattern PAT in the files named @file{-file1}
+and @file{file2}.
+
 @item --line-buffered
 @opindex --line-buffered
 @cindex line buffering
-- 
2.12.0

Message #8 received at 26139 <at> debbugs.gnu.org (full text, mbox):

From: Bernhard Voelker <mail <at> bernhard-voelker.de>
To: 26139 <at> debbugs.gnu.org
Subject: Re: bug#26139: [PATCH] doc: document the option delimiter '--'
Date: Fri, 13 Oct 2017 08:34:14 +0200

On 03/17/2017 11:42 AM, Bernhard Voelker wrote:
> [...]

ping? I don't have permissions to push at 'grep.git', so someone
else needs to do this, thanks.

Have a nice day,
Berny

Message #13 received at 26139-done <at> debbugs.gnu.org (full text, mbox):

From: Jim Meyering <jim <at> meyering.net>
To: Bernhard Voelker <mail <at> bernhard-voelker.de>
Cc: 26139-done <at> debbugs.gnu.org
Subject: Re: bug#26139: [PATCH] doc: document the option delimiter '--'
Date: Fri, 13 Oct 2017 08:47:40 -0700

On Thu, Oct 12, 2017 at 11:34 PM, Bernhard Voelker
<mail <at> bernhard-voelker.de> wrote:
> On 03/17/2017 11:42 AM, Bernhard Voelker wrote:
>> [...]
>
> ping? I don't have permissions to push at 'grep.git', so someone
> else needs to do this, thanks.

Thanks, Bernie.
I've pushed that, after adjusting the commit log to mention the bug
URL, http://bugs.gnu.org/26139

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.