JDK 13不会生成jre文件夹。
目录下,终端输入 gedit ~/.bashrc, 添加:
#jdk 13
export JAVA_HOME=/usr/local/jdk-13.0.1
#export JRE_HOME=${JAVA_HOME}/jre
export CLASSPATH=.:${JAVA_HOME}/lib
export PATH=${JAVA_HOME}/bin:$PATH
source ~/.bashrc 生效
然后 java --version 即可看到配置好的jdk13环境。