repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
better serial integration, moved things outside
[mTask.git]
/
install_clean.sh
diff --git
a/install_clean.sh
b/install_clean.sh
index
63bcb5e
..
569cc65
100755
(executable)
--- a/
install_clean.sh
+++ b/
install_clean.sh
@@
-12,6
+12,6
@@
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 \
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"
+ |
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;"