aboutsummaryrefslogtreecommitdiff
path: root/support/download/wget
blob: 2cea1004c96e15de01953ab2c6da6c203571fe2c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/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}"