X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=install_clean.sh;h=ca77a866d19f9716305a894e42723f314565cf05;hb=bd1040e99add38ee8c7ce7e2ec2ade8de55f17bc;hp=8d877a9e368c0f3dd00227970e4865b3cbc188c8;hpb=c6709b5f2b35baa57f11e557d4baa96d6b9a54cf;p=mTask.git

diff --git a/install_clean.sh b/install_clean.sh
index 8d877a9..ca77a86 100755
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -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"