diff options
| author | usr <usr@devuan> | 2026-08-05 17:14:20 +0200 |
|---|---|---|
| committer | usr <usr@devuan> | 2026-08-05 17:14:20 +0200 |
| commit | 445c0b62410e36e77c60ab8abc7e054812753f35 (patch) | |
| tree | 97b7531956b7ec48d4673ffd967747c436bf6e86 /3p/fetch.sh | |
| parent | 2aa2250e279ea408ae39bef4171bd508d120ee22 (diff) | |
Diffstat (limited to '3p/fetch.sh')
| -rw-r--r-- | 3p/fetch.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/3p/fetch.sh b/3p/fetch.sh new file mode 100644 index 0000000..44b76b1 --- /dev/null +++ b/3p/fetch.sh @@ -0,0 +1,14 @@ +#!/bin/sh -euC +# run me from project root please! looks for -d ./3p/ +set -x + +notfile() { if [ -f "$1" ]; then echo "$1" bestaat al; false; fi; } +fetch() { [ -d 3p ] && notfile "3p/$(basename "$1")" && wget -nc "$1" -O "3p/$(basename "$1")" ; } + +[ -d 3p ] + +cat urls.txt | while read url; do + fetch "$done" +done + +set +x |
