GNU bug report logs - #37212
Incorrect --exclude description with 'grep --help'

Previous Next

Package: grep;

Reported by: Duncan Moore <duncan.moore <at> gmx.com>

Date: Wed, 28 Aug 2019 16:28:02 UTC

Severity: normal

Done: Paul Eggert <eggert <at> cs.ucla.edu>

Bug is archived. No further changes may be made.

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

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

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-grep <at> gnu.org:
bug#37212; Package grep. (Wed, 28 Aug 2019 16:28:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Duncan Moore <duncan.moore <at> gmx.com>:
New bug report received and forwarded. Copy sent to bug-grep <at> gnu.org. (Wed, 28 Aug 2019 16:28:02 GMT) Full text and rfc822 format available.

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

From: Duncan Moore <duncan.moore <at> gmx.com>
To: bug-grep <at> gnu.org
Subject: Incorrect --exclude description with 'grep --help'
Date: Wed, 28 Aug 2019 17:25:54 +0100
'grep --help' incorrectly states that the --exclude option operates on
directories. Here's the suggested change to the help text:

-      --exclude=GLOB        skip files and directories matching GLOB
+      --exclude=GLOB        skip files matching GLOB

It might also be worthwhile changing 'that match' to 'matching' in these
2 options to give consistent phrasing across the 4 include/exclude
options, to make it a bit easier for the user to compare them:

-      --include=GLOB        search only files that match GLOB (a file
pattern)
+      --include=GLOB        search only files matching GLOB (a file
pattern)

-      --exclude-dir=GLOB    skip directories that match GLOB
+      --exclude-dir=GLOB    skip directories matching GLOB





Reply sent to Paul Eggert <eggert <at> cs.ucla.edu>:
You have taken responsibility. (Thu, 02 Jan 2020 09:58:01 GMT) Full text and rfc822 format available.

Notification sent to Duncan Moore <duncan.moore <at> gmx.com>:
bug acknowledged by developer. (Thu, 02 Jan 2020 09:58:01 GMT) Full text and rfc822 format available.

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

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Duncan Moore <duncan.moore <at> gmx.com>
Cc: 37212-done <at> debbugs.gnu.org
Subject: Re: bug#37212: Incorrect --exclude description with 'grep --help'
Date: Thu, 2 Jan 2020 01:57:15 -0800
[Message part 1 (text/plain, inline)]
Thanks for the bug report. I installed the attached (slightly different) patch
to fix the bug and inconsistency.
[0001-doc-fix-exclude-description-in-man-page.patch (text/x-patch, attachment)]

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 30 Jan 2020 12:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 4 years and 86 days ago.

Previous Next


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