update install script with eval
authorMart Lubbers <mart@martlubbers.net>
Mon, 6 Feb 2017 14:05:29 +0000 (15:05 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 6 Feb 2017 14:05:29 +0000 (15:05 +0100)
install_clean.sh

index 8d877a9..ca77a86 100755 (executable)
@@ -6,7 +6,6 @@ then
        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 \
@@ -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 ! 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"