以JAVA_HOME的设置为例. 开发中可能遇到手头开发的两个项目使用的JDK版本不一样的情况, 这个时候需要更换JAVA_HOME的路径. 而Windows修改环境变量出奇的麻烦(系统->…),使用cmd调用下面的脚本,可以自动修改,并马上生效.
@echo on
echo Setting JAVA_HOME
set JAVA_HOME=D://dev/tools/Java/jdk1.7.0_07
echo setting PATH
set PATH=%JAVA_HOME%\bin;%PATH%
wmic ENVIRONMENT where "name='JAVA_HOME'" delete
wmic ENVIRONMENT create name="JAVA_HOME",username="<system>",VariableValue="%JAVA_HOME%"
echo Display java version
java -version
pause