mirror of
https://github.com/dehydrated-io/dehydrated.git
synced 2026-01-11 22:30:44 +01:00
egrep: warning: egrep is obsolescent; using grep -E #585
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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