replace obsolescent egrep by grep -E

sagemath · Apr 25, 2023 · 1e291b1 · 1e291b1
1 parent f3acd42
commit 1e291b1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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
Expand Up		@@ -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 "$@"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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 "$@"