Advertisement
Guest User

Untitled

a guest
May 3rd, 2015
252
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.38 KB | None | 0 0
  1. function setjdk() {
  2. if [ $# -ne 0 ]; then
  3. removeFromPath '/System/Library/Frameworks/JavaVM.framework/Home/bin'
  4. if [ -n "${JAVA_HOME+x}" ]; then
  5. removeFromPath $JAVA_HOME
  6. fi
  7. export JAVA_HOME=`/usr/libexec/java_home -v $@`
  8. export PATH=$JAVA_HOME/bin:$PATH
  9. fi
  10. }
  11. function removeFromPath() {
  12. export PATH=$(echo $PATH | sed -E -e "s;:$1;;" -e "s;$1:?;;")
  13. }
  14. setjdk 1.7
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement