Skip to content

Instantly share code, notes, and snippets.

@koron
Last active August 29, 2015 13:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save koron/9634855 to your computer and use it in GitHub Desktop.
Save koron/9634855 to your computer and use it in GitHub Desktop.
JDK selector on Windows

使い方

  1. 必要に応じて JDKDIR, JDK17, JDK18 を書き換える
  2. JDK_HOME, JAVA_HOME を %JDKDIR%\jdk に設定しておく
  3. あとは jdk 17 で JDK7 が、jdk 8 で JDK8 が %JDKDIR%\jdk へジャンクションで接続され JDKが切り替わる
@ECHO OFF
SET JDKDIR=C:\Local\Java
SET JDK17=jdk1.7.0_51
SET JDK18=jdk1.8.0
SET DESTDIR=%JDKDIR%\jdk
IF "%1" == "17" SET SRCDIR=%JDKDIR%\%JDK17%
IF "%1" == "18" SET SRCDIR=%JDKDIR%\%JDK18%
IF "%SRCDIR%" NEQ "" GOTO UPDATE_LINK
ECHO Usage: %0 {17,18}
GOTO END
:UPDATE_LINK
IF EXIST %DESTDIR% RD %DESTDIR%
MKLINK /J %DESTDIR% %SRCDIR%
:END
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment