GNU bug report logs - #62272
Erroneous claim in grep man page

Previous Next

Full log

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

From: Jim Meyering <jim <at> meyering.net>
To: dakra137 <at> gmail.com
Cc: 62272-done <at> debbugs.gnu.org
Subject: Re: bug#62272: Erroneous claim in grep man page
Date: Sun, 19 Mar 2023 18:54:32 -0700

tags notabug 62272
stop

On Sun, Mar 19, 2023 at 5:47 AM David Kra <dakra137 <at> gmail.com> wrote:
> This is a request and further endorsement of a report from 2008, ending
> with https://lists.gnu.org/archive/html/bug-grep/2008-08/msg00002.html
>
> Request: Either add four words to the manpage or delete the entire
> sentence.
> ASIS: "In GNU grep there is no difference in available functionality
> between basic and extended syntaxes."
>
> TOBE: "Although the syntaxes differ, in GNU grep there is no difference in
> available functionality between basic and extended syntaxes."
>
> Reasoning: The user should not suffer for not realizing that "no difference
> in available functionality" does not imply "no difference in syntax."

Thanks, but that sentence already says there are two different
syntaxes: basic and extended.
Those are different names, which usually implies they denote different things.
So adding those four words at the beginning of the sentence would be
unnecessary and repetitive.

I'm marking this as done, but discussion may continue.

Previous Next

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