私はほとんどの作業を JDK 1.5 に対して行っていますが、ときどき 1.6 に変更する必要があります。どちらか一方に固有のプロジェクトで作業する必要があるときはいつでも手動で「JAVA_HOME」システム変数を変更しなければならないのは少し面倒です (いいえ、Eclipse はこれらのシナリオではうまく機能しません - 信じてください.. 。私はもう試した。）
レジストリ スクリプトまたは Windows シェル スクリプトを探しています。あるいは、このシステム変数を実行しやすいものに "切り替え" できる手段を探しています。
「set」コマンドを台無しにしましたが、それはその特定のコマンドインスタンスの変数のみを設定します-グローバルではありません。
前もって感謝します。
編集 #1: アドバイスのポイント:
- パス変数でもJAVA_HOME変数を使用します。そのようにすると、 JAVA_HOMEを変更するだけで済みます(とにかく多くのプロジェクトで使用されます [maven、ant など])。
- 簡単に使用できるように、コマンドをいくつかのバッチ スクリプトに記述します。
- 変更を行っても、Windows コマンド セッションはすぐには反映されません。閉じてから再度開く必要があります。