diff -r a10d823a8e3d -r 7e5be4a7cda7 contrib/check-code.py --- a/contrib/check-code.py Mon Jun 26 11:15:30 2023 +0100 +++ b/contrib/check-code.py Mon Jun 26 14:34:58 2023 +0200 @@ -146,10 +146,7 @@ r'\[[^\]]+==', '[ foo == bar ] is a bashism, use [ foo = bar ] instead', ), - ( - r'(^|\|\s*)grep (-\w\s+)*[^|]*[(|]\w', - "use egrep for extended grep syntax", - ), + (r'(^|\|\s*)egrep', "use grep -E for extended grep syntax"), (r'(^|\|\s*)e?grep .*\\S', "don't use \\S in regular expression"), (r'(?