using -name in sage-grep

sagemath · Apr 25, 2023 · 5ced222 · 5ced222
1 parent 1e291b1
commit 5ced222
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= grep -E '.py([xdi])?$' | xargs grep "$@"
+find sage -name "*.py" -o -name "*.pyx" -o -name "*.pxi" -o -name "*.pxd" | 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= grep -E '.html$' | xargs grep "$@"
+find html -name '*.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= grep -E '.py([xdi])?$' \| xargs grep "$@"
		find sage -name ".py" -o -name ".pyx" -o -name ".pxi" -o -name ".pxd" \| 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= grep -E '.html$' \| xargs grep "$@"
		find html -name '*.html' \| xargs grep "$@"