: "${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