From d15e3131d2cedc4a383f82c92cb1040d73278a00 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Thu, 11 Nov 2021 15:50:12 +0100 Subject: de-sgm: use egrep --- de-sgm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.*\?>|\s*$||" \ | sed "s|\s*\s*$||" \ | sed "s|\s*\s*$||" \ - | grep -v -P "^\s*$" + | egrep -v -P "^\s*$" -- cgit v1.2.3