#!/bin/ksh
#
# $Revision: 1.2+2 $ $Date: 2010-05-02 20:15:53-04 $
# $UUID: 3be585ff-be81-3ee9-ac7f-3bb75a58973e $
#
#<curl: front-end for curl

prog=/usr/bin/curl
proxy=$HTTP_PROXY
: ${proxy="http://198.97.67.132:8080/"}

case "$1" in
    "") exec less /doc/html/htdocs/curlhelp.txt ;;
    -*) exec $prog -x $proxy ${1+"$@"} ;;
    *)  out=$(basename $1); exec $prog -x $proxy ${1+"$@"} > $out ;;
esac

exit 1