Filename: ///bin/X11/egrep

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

./Ninja\.