#!/gnu/store/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee-bash-minimal-5.1.16/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -E" >&2
exec grep -E "$@"
