Merge pull request #213 from linbox-team/xmlcolorout

remove colors from xml output (for the CI)
linbox-team · Sep 30, 2022 · 0aa507b · 0aa507b
2 parents 646f6ea + d61ac63
commit 0aa507b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/perfpublisher.sh b/tests/perfpublisher.sh
@@ -104,7 +104,7 @@ do
 		echo '[Executing]' $test
 		EXECUTED='yes'
 		EXECUTIONSTART=$($DATE +%s%3N)
-		EXECUTIONLOG=$(./$test  2>&1; echo 'Returned state: '$?)
+		EXECUTIONLOG=$(./$test 2>&1 | sed -r "s/\x1B\[([0-9]{1,3}(;[0-9]{1,2})?)?[mGK]//g"; echo 'Returned state: '$?)
 		EXECUTIONEND=$($DATE +%s%3N)
 		EXECUTIONTIME=$(($EXECUTIONEND - $EXECUTIONSTART))
 		EXECUTIONCHECK=$(echo $EXECUTIONLOG | grep -o '[^ ]*$')