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
ca77a86
..
f7fe903
100755
(executable)
--- a/
install_clean.sh
+++ b/
install_clean.sh
@@
-6,13
+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"
-if [ "$CLEAN_HOME" != "$TARGET" ]; then
- echo "Add or change \$CLEAN_HOME to \"$TARGET\""
-fi
-echo "CLEAN_HOME=$TARGET"
-echo "PATH=$TARGET:\$PATH"
+echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"