Files
2026-09-18 11:43:31 +03:00

5 lines
104 B
Bash

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