From 184286bf70225c5e8e2f3df044051578541b91da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Collignon-Ducret=20R=C3=A9mi?= Date: Tue, 8 Oct 2024 14:17:54 +0200 Subject: [PATCH] move from egrep to grep (#5479) Closes #5478 --- quickwit/scripts/check_log_format.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/quickwit/scripts/check_log_format.sh b/quickwit/scripts/check_log_format.sh index 96f2d2ec061..99fcc12fc83 100755 --- a/quickwit/scripts/check_log_format.sh +++ b/quickwit/scripts/check_log_format.sh @@ -2,11 +2,11 @@ RESULT=0 -for file in $(git ls-files | egrep "src/.*\.rs$") +for file in $(git ls-files | grep -E "src/.*\.rs$") do - LOG_STARTING_WITH_UPPERCASE=$(egrep -n "(warn|info|error|debug)\!\(\"[A-Z][a-z]" $file) + LOG_STARTING_WITH_UPPERCASE=$(grep -E -n "(warn|info|error|debug)!\(\"[A-Z][a-z]" $file) DIFFRESULT=$? - LOG_ENDING_WITH_PERIOD=$(egrep -n "(warn|info|error|debug)\!.*\.\"\);" $file) + LOG_ENDING_WITH_PERIOD=$(grep -E -n "(warn|info|error|debug)!.*\.\"\);" $file) DIFFRESULT=$(($DIFFRESULT && $?)) if [ $DIFFRESULT -eq 0 ]; then echo "===================="