set -e dir=$1 shift cd "$dir" if [ -e src ] ; then rm -rf src fi if ! sha256sum -c sha256 2>/dev/null ; then curl -L -K url -O sha256sum -c sha256 fi read -r _ archive