X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=install_clean.sh;h=f7fe903a9b5ed88ccdd4cdb4a76a5ea0b4919878;hb=fcb4abeb34dc3302f15b10c3b916bc14e3047707;hp=e21a1c672eb1b3ca8617f82ace71c910a2acc90f;hpb=623ed5855ab2fca088c83c3c3bd4e3a6d18f1483;p=mTask.git diff --git a/install_clean.sh b/install_clean.sh index e21a1c6..f7fe903 100755 --- 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 --gunzip --strip-components=1 --extract --directory="$TARGET" echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"