| #!/usr/bin/env bash |
| |
| # We want to catch any unexpected failure, and exit immediately |
| set -e |
| |
| # Download helper for wget, to be called from the download wrapper script |
| # |
| # Call it as: |
| # .../wget [-q] OUT_FILE URL |
| # |
| # Environment: |
| # WGET : the wget command to call |
| |
| verbose= |
| while getopts :q OPT; do |
| case "${OPT}" in |
| q) verbose=-q;; |
| \?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;; |
| esac |
| done |
| shift $((OPTIND-1)) |
| |
| output="${1}" |
| url="${2}" |
| |
| shift 2 # Get rid of our options |
| |
| # Caller needs to single-quote its arguments to prevent them from |
| # being expanded a second time (in case there are spaces in them) |
| _wget() { |
| eval ${WGET} "${@}" |
| } |
| |
| _wget ${verbose} "${@}" -O "'${output}'" "'${url}'" |