support/download/wget

   1 #!/usr/bin/env bash
   2
   3 # We want to catch any unexpected failure, and exit immediately
   4 set -e
   5
   6 # Download helper for wget, to be called from the download wrapper script
   7 #
   8 # Call it as:
   9 #   .../wget [-q] OUT_FILE URL
  10 #
  11 # Environment:
  12 #   WGET     : the wget command to call
  13
  14 verbose=
  15 while getopts :q OPT; do
  16     case "${OPT}" in
  17     q)  verbose=-q;;
  18     \?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;;
  19     esac
  20 done
  21 shift $((OPTIND-1))
  22
  23 output="${1}"
  24 url="${2}"
  25
  26 shift 2 # Get rid of our options
  27
  28 # Caller needs to single-quote its arguments to prevent them from
  29 # being expanded a second time (in case there are spaces in them)
  30 _wget() {
  31     eval ${WGET} "${@}"
  32 }
  33
  34 _wget ${verbose} "${@}" -O "'${output}'" "'${url}'"