aboutsummaryrefslogtreecommitdiff
path: root/support/download/wget
blob: 6b73726bc02aaea3142000366678fe164fa1563e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/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
# Expected arguments:
#   $1: output file
#   $2: URL
# And this environment:
#   WGET     : the wget command to call

output="${1}"
url="${2}"

${WGET} -O "${output}" "${url}"