mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
73458927ba
I'm always a bit worried to use sed -E anywhere, because the canonifiers give the impression it won't work everywhere consistently. My manpage says sed -E should be preferred for portability, so lets remove the sed -r / sed -E differentiation assuming it's just a thing from the past.
6 lines
235 B
Bash
Executable file
6 lines
235 B
Bash
Executable file
#!/usr/bin/env bash
|
|
#
|
|
# Replace absolute paths in Spicy error message with the basename. This is more
|
|
# restrictive than diff-remove-abspath to avoid catching other stuff.
|
|
|
|
sed -E 's#/([^:/]{1,}/){1,}([^:/]{1,}\.spicy[:,])#<...>/\2#g'
|