5 echo "Usage: $0 DIR" >&2
8 TARGET
="$(realpath "$1")"
10 echo "Removing and repopulating $TARGET" >&2
11 if [ -d "$TARGET" ]; then
12 mv "$TARGET" "$TARGET.$(date +%F)" ||
rm -fr "$TARGET"
17 echo "Downloading and installing clean nightly" >&2
18 curl
-sSL ftp://ftp.cs.ru.nl
/pub
/Clean
/builds
/linux-x64
/clean-bundle-complete-linux-x64-latest.tgz \
19 |
tar --gunzip --strip-components=1 --extract --directory="$TARGET"
20 curl
-sSL https
://gitlab.science.ru.nl
/clean-and-itasks
/iTasks-SDK
/raw
/master
/Libraries
/iTasks
/_Framework
/TaskServer.dcl \
21 > $TARGET/lib
/iTasks
/iTasks
/_Framework
/TaskServer.dcl
22 curl
-sSL https
://gitlab.science.ru.nl
/clean-and-itasks
/iTasks-SDK
/raw
/master
/Libraries
/iTasks
/_Framework
/TaskServer.icl \
23 > $TARGET/lib
/iTasks
/iTasks
/_Framework
/TaskServer.icl
25 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"