refactoors

[mTask.git] / install_clean.sh

diff --git a/install_clean.sh b/install_clean.sh
index e21a1c6..bcedd34 100755 (executable)
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -6,12 +6,16 @@ then
        exit 1;
 fi
 TARGET="$(realpath "$1")"
+
+echo "Removing and repopulating $TARGET" >&2
 if [ -d "$TARGET" ]; then
-       mv "$TARGET" "$TARGET.$(date +%F)"
+       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 --verbose --gunzip --strip-components=1 --extract --directory="$TARGET"
 
 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"