#!/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 fetch messages print
# before the script starts producing output.
#
curl -s -S -A 'Mozilla/4.0' \
    http://teaching.idallen.com/cst8207/13f/notes/data/assignment12fetch.sh \
        | { sleep 2 ; /bin/sh ; }