多个版本JDK切换

下面是编程之家 jb51.cc 通过网络收集整理的代码片段。

编程之家小编现在分享给大家,也给大家做个参考。

@echo off

rem --- Base Config ---
:init 
set JAVA_HOME_1_8=D:\DevTools\Java\jdk1.8.0_01
set JAVA_HOME_1_7=D:\DevTools\Java\jdk1.7.0_45
set JAVA_HOME_1_6=D:\DevTools\Java\jdk1.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

以上是编程之家(jb51.cc)为你收集整理的全部代码内容,希望文章能够帮你解决所遇到的程序开发问题。

如果觉得编程之家网站内容还不错,欢迎将编程之家网站推荐给程序员好友。

相关文章

系ubuntu 下面打开终端输入:sudo apt-get install sendmail...
依家我有1个软件goagent目录(大家懂得) 放在/home/gateman/...
其实我想讲的是 cp -L关于-L参数的解释:-L, --dereferenc...
原地址:http://www.rjgc.net/control/content/content.php?...
chroot,即 change root directory (更改 root 目录)。在 li...
简单解析下, stdin就是标准输入, stdout就是标准。举个例子...