diff options
| author | pks <pks@pks.rocks> | 2022-12-22 10:41:31 +0100 |
|---|---|---|
| committer | pks <pks@pks.rocks> | 2022-12-22 10:41:31 +0100 |
| commit | 5cc3991225b7fa474100ace8bc11f3a04068debb (patch) | |
| tree | 2fb5290ec0e8bc2e284e5b69ad0cc670931f9f1d /de-sgm | |
| parent | a539de0bdb07b1ba0f69aab289c3ca0aa1a10031 (diff) | |
| parent | d15e3131d2cedc4a383f82c92cb1040d73278a00 (diff) | |
Merge branch 'master' of ssh://github.com/pks/nlp_scripts
Diffstat (limited to 'de-sgm')
| -rwxr-xr-x | de-sgm | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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*$" |