JRE ディレクトリの代わりに JDK ディレクトリを返す System.getProperty("java.home") のような同様のプロパティはありますか? 私はhttps://docs.oracle.com/javase/1.5.0/docs/api/java/lang/System.html#getProperties()を見てきましたが、JDK には何もないようです。
MSumulong
質問する
7035 次
3 に答える
3
1つのルートは、「JAVA_HOME」などのシステム環境変数を設定して使用することです。
これは最善の解決策ではないかもしれませんが、うまくいくでしょう。これは、JRE ではなく JDK を必要とする他のアプリ (CruiseControl など) をセットアップするときに行う必要があることです。
于 2008-12-09T18:48:35.527 に答える
2
java.homeJDK のようなプロパティはありません。実行している JRE が JDK の一部であるかどうかを検出するのに役立つ経験則がいくつかあります。たとえば、「${java.home}/../lib/tools.jar」を探します。言い換えれば、場合によってはデフォルトを提案できるかもしれませんが、一般的には、ユーザーはどの JDK を使用するかを指示する必要があります。
于 2008-12-09T19:08:16.517 に答える
0
別の方法として、プロパティ ファイルを使用して JDK へのパスを定義することもできます。これは、システム環境変数に追加してオーバーライドできるようにすることができます。
ユース ケースに応じて、このプロパティ ファイルをホーム ディレクトリに配置するか、アプリと一緒にパッケージ化することができます。
于 2008-12-09T19:07:39.403 に答える