devtools: fix escaped space in grep pattern
Checks
Commit Message
Since grep 3.8, a warning is printed if a space is escaped in a pattern:
grep: warning: stray \ before white space
There was an occurence of such extra backslash in check-git-log.sh.
Fixes: d448efa259e9 ("devtools: export dictionary for commit title check")
Cc: stable@dpdk.org
Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
---
devtools/check-git-log.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Comments
On Tue, Jan 10, 2023 at 10:33:17PM +0100, Thomas Monjalon wrote:
> Since grep 3.8, a warning is printed if a space is escaped in a pattern:
> grep: warning: stray \ before white space
>
> There was an occurence of such extra backslash in check-git-log.sh.
>
> Fixes: d448efa259e9 ("devtools: export dictionary for commit title check")
> Cc: stable@dpdk.org
>
> Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> ---
thanks, it was annoying.
Acked-by: Tyler Retzlaff <roretzla@linux.microsoft.com>
10/01/2023 22:52, Tyler Retzlaff:
> On Tue, Jan 10, 2023 at 10:33:17PM +0100, Thomas Monjalon wrote:
> > Since grep 3.8, a warning is printed if a space is escaped in a pattern:
> > grep: warning: stray \ before white space
> >
> > There was an occurence of such extra backslash in check-git-log.sh.
> >
> > Fixes: d448efa259e9 ("devtools: export dictionary for commit title check")
> > Cc: stable@dpdk.org
> >
> > Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
> > ---
>
> thanks, it was annoying.
>
> Acked-by: Tyler Retzlaff <roretzla@linux.microsoft.com>
Applied
@@ -120,7 +120,7 @@ words="$selfdir/words-case.txt"
for word in $(cat $words); do
bad=$(echo "$headlines" | grep -iw $word | grep -vw $word)
if [ "$word" = "Tx" ]; then
- bad=$(echo $bad | grep -v 'OCTEON\ TX')
+ bad=$(echo $bad | grep -v 'OCTEON TX')
fi
for bad_line in $bad; do
bad_word=$(echo $bad_line | cut -d":" -f2 | grep -iwo $word)