5 echo "Usage: $0 DIR" >&2
8 TARGET
="$(realpath "$1")"
9 if [ -d "$TARGET" ]; then
10 mv "$TARGET" "$TARGET.$(date +%F)"
14 curl
-sSL ftp://ftp.cs.ru.nl
/pub
/Clean
/builds
/linux-x64
/clean-bundle-complete-linux-x64-latest.tgz \
15 | gunzip |
tar --strip-components=1 --extract --directory="$TARGET"
17 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"