diff options
Diffstat (limited to 'src/share/common')
| -rw-r--r-- | src/share/common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/share/common b/src/share/common index 34ac52d..5486eaa 100644 --- a/src/share/common +++ b/src/share/common @@ -376,8 +376,8 @@ remove_monkeysphere_lines() { tempfile=$(mktemp "${file}.XXXXXXX") || \ failure "Could not make temporary file '${file}.XXXXXXX'." - egrep -v '^MonkeySphere[[:digit:]]{4}(-[[:digit:]]{2}){2}T[[:digit:]]{2}(:[[:digit:]]{2}){2}$' \ - "$file" >"$tempfile" + egrep -v ' MonkeySphere[[:digit:]]{4}(-[[:digit:]]{2}){2}T[[:digit:]]{2}(:[[:digit:]]{2}){2} ' \ + "$file" >"$tempfile" || true cat "$tempfile" > "$file" rm "$tempfile" } |