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}"
|
