github.com/dustinrc/deis@v1.10.1-0.20150917223407-0894a5fb979e/router/rootfs/bin/get_src (about) 1 #!/usr/bin/env bash 2 3 hash="$1" 4 url="$2" 5 f=$(basename "$url") 6 7 curl -sSL "$url" -o "$f" 8 echo "$hash $f" | sha256sum -c - || exit 10 9 tar xzf "$f" 10 rm "$f"