Re: [PATCH] Use `grep -E` or plain `grep` instead of `egrep`