명령어 path 확인하기 (++ JDK 버전 삭제)

1. 명령어 path 확인하기

$ type z3 #z3 명령어 path 확인
z3 is /usr/local/bin/z3

2. 원하는 JDK 버전만 남기기

$ cd /Library/Java/JavaVirtualMachines/
$ ls
1.6.0.jdk        jdk-11.0.3.jdk   jdk1.8.0_211.jdk

$ sudo rm -rf jdk-11.0.3.jdk

$ java -version