repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
move generics to a different directory, add task sending framework
[mTask.git]
/
install_clean.sh
diff --git
a/install_clean.sh
b/install_clean.sh
index
ca77a86
..
e21a1c6
100755
(executable)
--- a/
install_clean.sh
+++ b/
install_clean.sh
@@
-6,13
+6,12
@@
then
exit 1;
fi
TARGET="$(realpath "$1")"
exit 1;
fi
TARGET="$(realpath "$1")"
+if [ -d "$TARGET" ]; then
+ mv "$TARGET" "$TARGET.$(date +%F)"
+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"
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
-echo "CLEAN_HOME=$TARGET"
-echo "PATH=$TARGET:\$PATH"
+echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"