usr/bin/red 0000755 00000000131 15116114133 0006614 0 ustar 00 #! /bin/sh
bindir=`echo "$0" | sed -e 's,[^/]*$,,'`
exec "${bindir}"ed --restricted "$@"