replace obsolescent egrep by grep -E

fchapoton · fchapoton · commit 1e291b1648d3 · 2023-04-25T08:10:25.000+02:00
diff --git a/src/bin/sage-grep b/src/bin/sage-grep
@@ -2,4 +2,4 @@
 
 cd "$SAGE_SRC"
 
-find sage -print | GREP_OPTIONS= egrep '.py([xdi])?$' | xargs grep "$@"
+find sage -print | GREP_OPTIONS= grep -E '.py([xdi])?$' | xargs grep "$@"
diff --git a/src/bin/sage-grepdoc b/src/bin/sage-grepdoc
@@ -2,4 +2,4 @@
 
 cd "$SAGE_DOC"
 
-find html -print | GREP_OPTIONS= egrep '.html$' | xargs grep "$@"
+find html -print | GREP_OPTIONS= grep -E '.html$' | xargs grep "$@"

Original file line number	Diff line number	Diff line change
`@@ -2,4 +2,4 @@`
`2`	`2`
`3`	`3`	`cd "$SAGE_SRC"`
`4`	`4`
`5`		`-find sage -print \| GREP_OPTIONS= egrep '.py([xdi])?$' \| xargs grep "$@"`
	`5`	`+find sage -print \| GREP_OPTIONS= grep -E '.py([xdi])?$' \| xargs grep "$@"`
Original file line number	Diff line number	Diff line change
`@@ -2,4 +2,4 @@`
`2`	`2`
`3`	`3`	`cd "$SAGE_DOC"`
`4`	`4`
`5`		`-find html -print \| GREP_OPTIONS= egrep '.html$' \| xargs grep "$@"`
	`5`	`+find html -print \| GREP_OPTIONS= grep -E '.html$' \| xargs grep "$@"`