--- Begin Message ---
Subject: |
Incorrect --exclude description with 'grep --help' |
Date: |
Wed, 28 Aug 2019 17:25:54 +0100 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 |
'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
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#37212: Incorrect --exclude description with 'grep --help' |
Date: |
Thu, 2 Jan 2020 01:57:15 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 |
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
Description: Text Data
--- End Message ---