X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=install_clean.sh;h=f5da1d90405ccf4d9e61c172efc9ab058af281b2;hb=cf006df4dfd44845b6e5459d81bfe34a187884a9;hp=ca77a866d19f9716305a894e42723f314565cf05;hpb=bd1040e99add38ee8c7ce7e2ec2ade8de55f17bc;p=mTask.git diff --git a/install_clean.sh b/install_clean.sh index ca77a86..f5da1d9 100755 --- a/install_clean.sh +++ b/install_clean.sh @@ -6,13 +6,22 @@ then exit 1; fi TARGET="$(realpath "$1")" + +echo "Removing and repopulating $TARGET" >&2 +if [ -d "$TARGET" ]; then + mv "$TARGET" "$TARGET.$(date +%F)" || rm -fr "$TARGET" +fi rm -fr "$TARGET" mkdir -p "$TARGET" + +echo "Downloading and installing clean nightly" >&2 curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \ - | gunzip | tar --strip-components=1 --extract --directory="$TARGET" + | tar --gunzip --strip-components=1 --extract --directory="$TARGET" -if [ "$CLEAN_HOME" != "$TARGET" ]; then - echo "Add or change \$CLEAN_HOME to \"$TARGET\"" -fi -echo "CLEAN_HOME=$TARGET" -echo "PATH=$TARGET:\$PATH" +echo "Apply patches" >&2 +curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.dcl\ + > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.dcl +curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.icl\ + > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.icl + +echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"