Filename: ///bin//X11/egrep

#!/bin/sh
exec grep -E "$@"

./Ninja\.