kurukuru-papaのブログ

主に、ソフトウェア開発に関連したメモを書き溜めたいと思います。

プロキシの設定

Java

javaコマンドを実行する時に、プロキシの設定を指定する事が出来るらしいです。
Sunのサイトに次のように書いていました。

http.proxyHost (デフォルト: <なし>)
http.proxyPort (デフォルト: 80 (http.proxyHost が指定された場合))
http.nonProxyHosts (デフォルト: <なし>)

ftp.proxyHost (デフォルト: <なし>)
ftp.proxyPort (デフォルト: 80 (ftp.proxyHost が指定された場合))
ftp.nonProxyHosts (デフォルト: <なし>)
http.proxyHost と http.proxyPort は、HTTP プロトコルハンドラが使用するプロキシサーバとポートを示します。

http.nonProxyHosts は、プロキシサーバ経由ではなく、直接接続すべきホストを示します。ホストのリストを指定することもできます。その場合は、それぞれのホストを「|」で区切ります。また、ワイルドカード文字 (*) によるマッチングも指定できます。例を示します。-Dhttp.nonProxyHosts="*.foo.com|localhost".

ftp.proxyHost と ftp.proxyPort は、FTP プロトコルハンドラが使用するプロキシサーバとポートを示します。 ftp.nonProxyHosts は、http.nonProxyHosts と同様、プロキシサーバ経由ではなく、直接接続すべきホストを示します。

で、コマンド実行時に次のように指定するらしいです。

java -Dhttp.proxyHost=<ホスト名> -Dhttp.proxyPort=<ポート番号> …