1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
: "${SHA256SUM:=sha256sum}" : "${PAXREAD:=pax -r}" set -e sh scripts/fetch-git.sh "$@" cd "$1" shift if [ -e src/man ] ; then rm -rf src/man fi if ! $SHA256SUM -c sha256 2>/dev/null ; then curl -L -O -K url $SHA256SUM -c sha256 fi read -r _ archive <sha256 gzip -d -c "$archive" | $PAXREAD -s ',^\.,src/man,'