Current File : //proc/353637/task/353637/cwd/usr/bin/red

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