cc-fw-tools/RESOURCES/OPTIONS/ssh/opt/libexec/egrep-gnu
2024-02-03 07:20:00 +01:00

4 lines
102 B
Bash
Executable file

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