From bd1040e99add38ee8c7ce7e2ec2ade8de55f17bc Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 6 Feb 2017 15:05:29 +0100 Subject: [PATCH] update install script with eval --- install_clean.sh | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) 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" -- 2.20.1