diff options
| author | Patrick Simianer <patrick@lilt.com> | 2021-11-11 15:50:12 +0100 |
|---|---|---|
| committer | Patrick Simianer <patrick@lilt.com> | 2021-11-11 15:50:12 +0100 |
| commit | d15e3131d2cedc4a383f82c92cb1040d73278a00 (patch) | |
| tree | f1208dabdc0e5efe0484f47409d94519a282d79a | |
| parent | ecdba524d96ced5eca86cb8e8085c04f177c524d (diff) | |
de-sgm: use egrep
| -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*$" |