多个版本JDK切换

以下代码由PHP站长网 52php.cn收集自互联网

现在PHP站长网小编把它分享给大家，仅供参考

@echo off

rem --- Base Config ---
:init 
set JAVA_HOME_1_8=D:DevToolsJavajdk1.8.0_01
set JAVA_HOME_1_7=D:DevToolsJavajdk1.7.0_45
set JAVA_HOME_1_6=D:DevToolsJavajdk1.6.0_45

:start 
echo JDK 版本: 
java -version 
ping 127.0.0.1 -n 2 -w 1000 > nul 
echo. 
echo ============================================= 
echo jdk版本列表 
echo 1.8 
echo 1.7 
echo 1.6 
echo ============================================= 

:select
set /p opt=请选择jdk版本： 
if %opt%==1.8 (
    set TARGET_JAVA_HOME=%JAVA_HOME_1_8%
)
if %opt%==1.7 (
    set TARGET_JAVA_HOME=%JAVA_HOME_1_7%
)
if %opt%==1.6 (
    set TARGET_JAVA_HOME=%JAVA_HOME_1_6%
)

echo 当前选择的Java路径:%TARGET_JAVA_HOME%

wmic ENVIRONMENT where "name='JAVA_HOME'" delete
wmic ENVIRONMENT create name="JAVA_HOME",username="<system>",VariableValue="%TARGET_JAVA_HOME%"

rem --- set path ---
set jhb=%TARGET_JAVA_HOME%bin
set pt=%Path%

call set pt=%%pt:%jhb%;=%%
call set pt=%%pt:%jhb%=%%

wmic ENVIRONMENT where "name='Path' and username='<system>'" set VariableValue="%jhb%;%pt%"

rem -- refresh env ---
call RefreshEnv
@echo on

以上内容由PHP站长网【52php.cn】收集整理供大家参考研究

如果以上内容对您有帮助，欢迎收藏、点赞、推荐、分享。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!