1 2 3 4
#!/bin/sh #cmd=${0##*/} #echo "$cmd: warning: $cmd is obsolescent; using grep -F" >&2 exec grep -F "$@"