Fix generation of file IDs.

They weren't stable, and potentially repetitive.

Note: We should backport this to the external plugin.
This commit is contained in:
Robin Sommer 2023-05-11 19:58:11 +02:00
parent 0040111955
commit e6af74c8aa
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
5 changed files with 11 additions and 12 deletions

View file

@ -9,9 +9,6 @@ else
sed="sed -E"
fi
# File IDs changed between Zeek 3.1 and 3.2.
${sed} 's/^ *#(open|close).(19|20)..-..-..-..-..-..$/#\1 XXXX-XX-XX-XX-XX-XX/g' |
${sed} 's/F[A-Za-z0-9]{14,17}/XXXXXXXXXXXXXXXXX/g' |
$(dirname $0)/diff-remove-timestamps |
$(dirname $0)/diff-remove-abspath

View file

@ -9,10 +9,7 @@ else
sed="sed -E"
fi
# File IDs changed between Zeek 3.1 and 3.2.
${sed} 's/^ *#(open|close).(19|20)..-..-..-..-..-..$/#\1 XXXX-XX-XX-XX-XX-XX/g' |
${sed} 's/F[A-Za-z0-9]{15,17}/XXXXXXXXXXXXXXXXX/g' |
$(dirname $0)/diff-sort |
$(dirname $0)/diff-remove-timestamps |
$(dirname $0)/diff-remove-abspath