2014-10-21 16:05:56 +02:00
|
|
|
#!/usr/bin/env bash
|
2014-07-02 23:11:26 +02:00
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
# We want to catch any unexpected failure, and exit immediately
|
2014-07-02 23:11:26 +02:00
|
|
|
set -e
|
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
# Download helper for cp, to be called from the download wrapper script
|
2015-01-02 16:53:39 +01:00
|
|
|
#
|
|
|
|
# Call it as:
|
|
|
|
# .../cp [-q] OUT_FILE SRC_FILE
|
|
|
|
#
|
|
|
|
# Environment:
|
2014-07-02 23:11:26 +02:00
|
|
|
# LOCALFILES: the cp command to call
|
|
|
|
|
2015-01-02 16:53:39 +01:00
|
|
|
verbose=-v
|
|
|
|
while getopts :q OPT; do
|
|
|
|
case "${OPT}" in
|
|
|
|
q) verbose=;;
|
|
|
|
\?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;;
|
|
|
|
esac
|
|
|
|
done
|
|
|
|
shift $((OPTIND-1))
|
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
output="${1}"
|
|
|
|
source="${2}"
|
2014-07-02 23:11:26 +02:00
|
|
|
|
2015-01-02 16:53:39 +01:00
|
|
|
${LOCALFILES} ${verbose} "${source}" "${output}"
|