usr/bin/batch 0000755 00000000211 15033126177 0007133 0 ustar 00 #! /bin/sh -e
if [ "$#" -gt 0 ]; then
echo batch accepts no parameters
exit 1
fi
prefix=/usr
exec_prefix=/usr
exec /usr/bin/at -qb now