repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
small update, new iTasks version
[mTask.git]
/
install_clean.sh
diff --git
a/install_clean.sh
b/install_clean.sh
index
005cbe7
..
f7fe903
100755
(executable)
--- a/
install_clean.sh
+++ b/
install_clean.sh
@@
-6,9
+6,16
@@
then
exit 1;
fi
TARGET="$(realpath "$1")"
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"
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 \
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;"
echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"