diff --git a/images/base/Dockerfile b/images/base/Dockerfile index 974857f..605e9c1 100644 --- a/images/base/Dockerfile +++ b/images/base/Dockerfile @@ -10,3 +10,4 @@ RUN \ ADD run_stage.sh /usr/bin/run_stage ADD git-mini-clone.sh /usr/bin/git-mini-clone +ADD check-wget.sh /usr/bin/check-wget diff --git a/images/base/check-wget.sh b/images/base/check-wget.sh new file mode 100755 index 0000000..9e64bba --- /dev/null +++ b/images/base/check-wget.sh @@ -0,0 +1,10 @@ +#!/bin/bash +set -xe +FNAME="$1" +URL="$2" +SHA512="$3" +SHAFILE="${FNAME}.sha512" +wget -O "${FNAME}" "${URL}" +trap "rm -f ${SHAFILE}" EXIT +echo "${SHA512} ${FNAME}" > "${SHAFILE}" +sha512sum -c "${SHAFILE}"