Originally created by @christophfink on GitHub (Oct 20, 2022).
Thanks for this great tool, have been using it for a while, now.
Recently, I’ve started seeing warnings that egrep should be replaced with grep -E. I’m using grep-3.8.
For now, this is of course nothing more than a nuissance, but I would think that eventually, distributions will stop shipping an egrep.
Originally created by @christophfink on GitHub (Oct 20, 2022).
Thanks for this great tool, have been using it for a while, now.
Recently, I’ve started seeing warnings that `egrep` should be replaced with `grep -E`. I’m using **grep-3.8**.
For now, this is of course nothing more than a nuissance, but I would think that eventually, distributions will stop shipping an `egrep`.
fix was already in testing branch, merged together with a few other changes to master now, this issue should be fixed
@lukas2511 commented on GitHub (Oct 20, 2022):
fix was already in testing branch, merged together with a few other changes to master now, this issue should be fixed
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Originally created by @christophfink on GitHub (Oct 20, 2022).
Thanks for this great tool, have been using it for a while, now.
Recently, I’ve started seeing warnings that
egrepshould be replaced withgrep -E. I’m using grep-3.8.For now, this is of course nothing more than a nuissance, but I would think that eventually, distributions will stop shipping an
egrep.@lukas2511 commented on GitHub (Oct 20, 2022):
fix was already in testing branch, merged together with a few other changes to master now, this issue should be fixed