From: Stephen Rothwell <sfr@canb.auug.org.au>
Date: Thu, 5 Oct 2023 22:15:53 +0000 (+1100)
Subject: make_summ: egrep is obsolete
X-Git-Url: https://git.ozlabs.org/?a=commitdiff_plain;h=04de5d8e54ec412b08ea73ece211f15ef8ab6758;p=next-scripts

make_summ: egrep is obsolete
---

diff --git a/make_summ b/make_summ
index 73e5ee4..0d0c7ba 100755
--- a/make_summ
+++ b/make_summ
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 tr '\r' '\n' <merge.log |
-	egrep '^\[|(git (cherry|rm|reset|checkout|quiltimport|merge --abort|rebase))|Merging|Applying|CONFLICT|Revert|Created commit|dropping' |
-	egrep -v 'reset HEAD\^|^Created commit [0-9a-f]*: Merge (branch|commit)|mark the corrected paths|HEAD is now at|^\[master [0-9a-f]*\] (Merge( remote(-tracking)?)? branch|[0-9]*/)|^hint:|-Revert' >summ
+	grep -E '^\[|(git (cherry|rm|reset|checkout|quiltimport|merge --abort|rebase))|Merging|Applying|CONFLICT|Revert|Created commit|dropping' |
+	grep -E -v 'reset HEAD\^|^Created commit [0-9a-f]*: Merge (branch|commit)|mark the corrected paths|HEAD is now at|^\[master [0-9a-f]*\] (Merge( remote(-tracking)?)? branch|[0-9]*/)|^hint:|-Revert' >summ
 
 exit 0