X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=install_clean.sh;h=63bcb5e725e3e6bb7be09426b7591cdfa03d2e4f;hb=bdebf34a1e281db5b2de64d5dd177cf7ea5cee51;hp=8d877a9e368c0f3dd00227970e4865b3cbc188c8;hpb=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;p=mTask.git diff --git a/install_clean.sh b/install_clean.sh index 8d877a9..63bcb5e 100755 --- a/install_clean.sh +++ b/install_clean.sh @@ -6,20 +6,12 @@ then exit 1; fi TARGET="$(realpath "$1")" -echo "Installing to $TARGET" +if [ -d "$TARGET" ]; then + mv "$TARGET" "$TARGET.$(date +%F)" || rm -fr "$TARGET" +fi rm -fr "$TARGET" mkdir -p "$TARGET" 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" -if [ "$CLEAN_HOME" != "$TARGET" ]; then - echo "Add or change \$CLEAN_HOME to \"$TARGET\"" -fi -if ! hash clm; then - if [ "$(which clm)" != "$TARGET/bin" ]; then - echo "Replace the old clm path with \$CLEAN_HOME/bin in PATH" - else - echo "Add \$CLEAN_HOME/bin to your PATH" - fi -fi -echo "Done" +echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"