: ${SHA256SUM:=sha256sum} : ${PAXREAD:=pax -r} 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