summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpks <pks@pks.rocks>2022-12-22 10:41:31 +0100
committerpks <pks@pks.rocks>2022-12-22 10:41:31 +0100
commit5cc3991225b7fa474100ace8bc11f3a04068debb (patch)
tree2fb5290ec0e8bc2e284e5b69ad0cc670931f9f1d
parenta539de0bdb07b1ba0f69aab289c3ca0aa1a10031 (diff)
parentd15e3131d2cedc4a383f82c92cb1040d73278a00 (diff)
Merge branch 'master' of ssh://github.com/pks/nlp_scripts
-rwxr-xr-xde-sgm2
1 files changed, 1 insertions, 1 deletions
diff --git a/de-sgm b/de-sgm
index fd4546e..408d090 100755
--- a/de-sgm
+++ b/de-sgm
@@ -9,5 +9,5 @@ egrep -v -i "^[[:space:]]*(<\?xml.*\?>|</?(mteval|doc|srcset|refset|translator|r
| sed "s|\s*</speaker>\s*$||" \
| sed "s|\s*<hl>\s*$||" \
| sed "s|\s*</hl>\s*$||" \
- | grep -v -P "^\s*$"
+ | egrep -v -P "^\s*$"