check.sh (476B)
1 #!/bin/sh 2 set -eu 3 4 . $PWD/scripts/config.sh 5 6 while IFS= read -r url; do \ 7 [ -z "$url" ] && continue; \ 8 fname="$(printf '%s' "$url" | sed -E 's/[?#].*$//' | sed -E 's!.*/!!')"; \ 9 if [ -e "$PROOT/sources/$fname" ]; then \ 10 printf "SKIP: %s (already exists)\n" "$fname"; \ 11 else \ 12 printf "GET: %s -> %s\n" "$url" "$fname"; \ 13 curl -f -L -O -S --output-dir "$PROOT/sources/" "$url" || { printf "ERROR: failed to download %s\n" "$url"; exit 1; }; \ 14 fi; \ 15 done < "$SOURCES_FILE"; \