diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | 3p/fetch.sh | 14 | ||||
| -rw-r--r-- | 3p/urls.txt | 2 | ||||
| -rw-r--r-- | setup.sh | 3 |
4 files changed, 20 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d392f0e --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*.jar 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 + diff --git a/setup.sh b/setup.sh new file mode 100644 index 0000000..a244550 --- /dev/null +++ b/setup.sh @@ -0,0 +1,3 @@ +#!/bin/sh +set -euC +sh 3p/fetch.sh |