emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debbugs-tracker] bug#26139: closed ([PATCH] doc: document the option de


From: GNU bug Tracking System
Subject: [debbugs-tracker] bug#26139: closed ([PATCH] doc: document the option delimiter '--')
Date: Fri, 13 Oct 2017 15:49:02 +0000

Your message dated Fri, 13 Oct 2017 08:47:40 -0700
with message-id <address@hidden>
and subject line Re: bug#26139: [PATCH] doc: document the option delimiter '--'
has caused the debbugs.gnu.org bug report #26139,
regarding [PATCH] doc: document the option delimiter '--'
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
26139: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26139
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message --- 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
 
address@hidden --
address@hidden --
address@hidden 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




--- End Message ---
--- Begin Message --- 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
<address@hidden> 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


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]