repositories
/
mTask.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
c6709b5
)
update install script with eval
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 6 Feb 2017 14:05:29 +0000
(15:05 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 6 Feb 2017 14:05:29 +0000
(15:05 +0100)
install_clean.sh
patch
|
blob
|
history
diff --git
a/install_clean.sh
b/install_clean.sh
index
8d877a9
..
ca77a86
100755
(executable)
--- a/
install_clean.sh
+++ b/
install_clean.sh
@@
-6,7
+6,6
@@
then
exit 1;
fi
TARGET="$(realpath "$1")"
exit 1;
fi
TARGET="$(realpath "$1")"
-echo "Installing to $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 \
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 \
@@
-15,11
+14,5
@@
curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-li
if [ "$CLEAN_HOME" != "$TARGET" ]; then
echo "Add or change \$CLEAN_HOME to \"$TARGET\""
fi
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 "CLEAN_HOME=$TARGET"
+echo "PATH=$TARGET:\$PATH"