install_clean.sh

   1 #!/bin/sh
   2 set -e
   3 if [ "$#" -eq 0 ];
   4 then
   5         echo "Usage: $0 DIR" >&2
   6         exit 1;
   7 fi
   8 TARGET="$(realpath "$1")"
   9 if [ -d "$TARGET" ]; then
  10         mv "$TARGET" "$TARGET.$(date +%F)" || rm -fr "$TARGET"
  11 fi
  12 rm -fr "$TARGET"
  13 mkdir -p "$TARGET"
  14 curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
  15         | tar --gunzip --strip-components=1 --extract --directory="$TARGET"
  16
  17 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"