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