#!/bin/sh -u
#   USER=abcd0001 $0
# Run this as root and set environment var USER to your CLS account
# userid before running this script.  Uses wget to fetch a marking program.
# -Ian! D. Allen - idallen@idallen.ca - www.idallen.com

PATH=/bin:/usr/bin ; export PATH
LC_ALL=C ; export LC_ALL

# Sleep a bit before running the script itself, so that wget messages print
# before the script starts producing output.
exec wget -nv -O - \
   http://teaching.idallen.com/cst8177/13w/notes/data/assignment09fetch.sh \
      | { sleep 2 ; /bin/sh ; }