#!/gnu/store/k66i68s5l93n1lgxp29vn2292nsywp1v-bash-minimal-5.2.37/bin/bash
cmd=${0##*/}
echo "$cmd: warning: $cmd is obsolescent; using grep -F" >&2
exec /gnu/store/1lkl6hik16bbhpjjsl825fivp2dsr9vi-grep-3.11/bin/grep -F "$@"
