From 31426e13d53f13b93ad7838b229e07b635b37244 Mon Sep 17 00:00:00 2001 From: "Juergen E. Fischer" Date: Thu, 13 Oct 2022 11:51:34 +0200 Subject: [PATCH] replace egrep with grep -E --- scripts/spell_check/check_spelling.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/spell_check/check_spelling.sh b/scripts/spell_check/check_spelling.sh index a16fc8aa9d1..e549d645c9c 100755 --- a/scripts/spell_check/check_spelling.sh +++ b/scripts/spell_check/check_spelling.sh @@ -63,7 +63,7 @@ shift $((OPTIND - 1)) if [ $# -ne 0 ]; then EXCLUDE=$(${GP}sed -e 's/\s*#.*$//' -e '/^\s*$/d' $AGIGNORE | tr '\n' '|' | ${GP}sed -e 's/|$//') - INPUTFILES=$(echo "$@" | tr -s '[[:blank:]]' '\n' | ${GP}egrep -iv "$EXCLUDE" | tr '\n' ' ' ) + INPUTFILES=$(echo "$@" | tr -s '[[:blank:]]' '\n' | ${GP}grep -Eiv "$EXCLUDE" | tr '\n' ' ' ) if [[ -z $INPUTFILES ]]; then exit 0 fi