Filename: //proc/858/root/bin//rgrep

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

./Ninja\.