Advertisement
Guest User

Untitled

a guest
Aug 16th, 2017
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.99 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. if [ "$(uname -m)" == "x86_64" ]
  4. then PHARO_URL=get.pharo.org/64/
  5. else PHARO_URL=get.pharo.org
  6. fi
  7.  
  8. CACHE_FILE=clean-env.tgz
  9.  
  10. while [[ $# -gt 0 ]]
  11. do
  12. case "$1" in
  13. --fresh)
  14. echo "Cleaning Cache"
  15. rm -f "$CACHE_FILE"
  16. ;;
  17. --clean)
  18. DOWNLOAD=NO
  19. ;;
  20. *)
  21. # unknown option
  22. ;;
  23. esac
  24. shift # past argument or value
  25. done
  26.  
  27. # Clean Environment
  28. echo "Cleaning Environment"
  29. find . -maxdepth 1 -not \( -name "." -o -name "$CACHE_FILE" -o -name "$(basename "$0")" -o -name "startup.st" -o -name "user-properties" \) -exec rm -rf {} \;
  30.  
  31. if [ "$DOWNLOAD" != "NO" ]
  32. then
  33. if [ -f "$CACHE_FILE" ]
  34. then
  35. echo "Restoring from Cache"
  36. tar zxf "$CACHE_FILE"
  37. else
  38. echo "Downloading Pharo from $PHARO_URL"
  39. if which curl > /dev/null
  40. then curl "${PHARO_URL}" | bash
  41. else wget -O - -q "${PHARO_URL}" | bash
  42. fi
  43.  
  44. echo "Saving downloaded files to Cache"
  45. tar zcf "$CACHE_FILE" --exclude="$CACHE_FILE" --exclude="$(basename "$0")" --exclude="startup.st" --exclude="user-properties" ./*
  46. fi
  47. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement