diff options
Diffstat (limited to '3p')
| -rw-r--r-- | 3p/fetch.sh | 14 | ||||
| -rw-r--r-- | 3p/urls.txt | 2 |
2 files changed, 16 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 diff --git a/3p/urls.txt b/3p/urls.txt new file mode 100644 index 0000000..ddc7969 --- /dev/null +++ b/3p/urls.txt @@ -0,0 +1,2 @@ +https://github.com/libgdx/gdx-liftoff/releases/download/v1.14.2.1/gdx-liftoff-1.14.2.1.jar + |