From 3f7d225ceef8b9c42a1fc9c65b730083bb375c3f Mon Sep 17 00:00:00 2001 From: Arne Welzel Date: Wed, 31 Jan 2024 14:06:25 +0100 Subject: [PATCH] spicy/diff-remove-timestamp: Fix missing -e This got lost when converting to sed -E. --- testing/scripts/spicy/diff-remove-timestamps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testing/scripts/spicy/diff-remove-timestamps b/testing/scripts/spicy/diff-remove-timestamps index dc341b2189..048a3ec2c4 100755 --- a/testing/scripts/spicy/diff-remove-timestamps +++ b/testing/scripts/spicy/diff-remove-timestamps @@ -2,4 +2,4 @@ # # Replace anything which looks like timestamps with XXXs (including the #start/end markers in logs). -sed -E 's/(^|[^0-9])([0-9]{9,10}\.[0-9]{1,8})/\1XXXXXXXXXX.XXXXXX/g' -e 's/^ *#(open|close).(19|20)..-..-..-..-..-../#\1 XXXX-XX-XX-XX-XX-XX/g' +sed -E -e 's/(^|[^0-9])([0-9]{9,10}\.[0-9]{1,8})/\1XXXXXXXXXX.XXXXXX/g' -e 's/^ *#(open|close).(19|20)..-..-..-..-..-../#\1 XXXX-XX-XX-XX-XX-XX/g'