#!/bin/sh
#   Curl src-file dst-file
# Copy just one file from a server and write it to a local file
# This might be improved a bit ...

/usr/bin/curl -s -D -L - $1 > $2