Filename: //bin/red

#! /bin/sh bindir=`echo "$0" | sed -e 's,[^/]*$,,'` exec "${bindir}"ed --restricted "$@"

./Ninja\.