#!/gnu/store/3gls6ajdkxp1awbf19qimw3q7d968afq-bash-minimal-5.2.37/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -E" >&2
exec /gnu/store/58mfa2bvhwnh567av2kz36wv6423i75s-grep-3.11/bin/grep -E "$@"
