17 lines
344 B
Bash
Executable File
17 lines
344 B
Bash
Executable File
#!/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}"
|