Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

spicy/diff-remove-timestamp: Fix missing -e

Browse source 
This got lost when converting to sed -E.
This commit is contained in:
Arne Welzel 2024-01-31 14:06:25 +01:00
parent 42d05d2e09
commit 3f7d225cee
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
testing/scripts/spicy/diff-remove-timestamps
View file

@ -2,4 +2,4 @@
# #
# Replace anything which looks like timestamps with XXXs (including the #start/end markers in logs). # 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'