Skip to content

Commit 0772e47

Browse files
author
Release Manager
committed
gh-35565: replace obsolescent egrep <!-- Please provide a concise, informative and self-explanatory title. --> <!-- Don't put issue numbers in the title. Put it in the Description below. --> <!-- For example, instead of "Fixes #12345", use "Add a new method to multiply two integers" --> ### 📚 Description replace the last 2 uses of `egrep` in our source code, using the replacement `grep -E` <!-- Describe your changes here in detail. --> <!-- Why is this change required? What problem does it solve? --> <!-- If this PR resolves an open issue, please link to it here. For example "Fixes #12345". --> <!-- If your change requires a documentation PR, please link it appropriately. --> ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. It should be `[x]` not `[x ]`. --> - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on - #12345: short description why this is a dependency - #34567: ... --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> URL: #35565 Reported by: Frédéric Chapoton Reviewer(s): Matthias Köppe
2 parents 91be339 + 5ced222 commit 0772e47

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/bin/sage-grep

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22

33
cd "$SAGE_SRC"
44

5-
find sage -print | GREP_OPTIONS= egrep '.py([xdi])?$' | xargs grep "$@"
5+
find sage -name "*.py" -o -name "*.pyx" -o -name "*.pxi" -o -name "*.pxd" | xargs grep "$@"

src/bin/sage-grepdoc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22

33
cd "$SAGE_DOC"
44

5-
find html -print | GREP_OPTIONS= egrep '.html$' | xargs grep "$@"
5+
find html -name '*.html' | xargs grep "$@"

0 commit comments

Comments
 (0)