Groovyにプロキシ設定

/Java ＠Groovy

groovyコマンドに下記の引数を追加してプロキシサーバーを指定できる。

groovy -DproxyHost=xxx.xxx.xxx.xxx -DproxyPort=xxx


ただし、コマンドを実行するたびに引数を指定するのは面倒なので、ホームディレクトリに下記フォルダとファイルを作成して、そこに記述すると良い。

Windowsの場合
.groovy/preinit.bat

下記のように記述する。

set JAVA_OPTS=-DproxyHost=xxx.xxx.xxx.xxx -DproxyPort=3128

バッチファイルとして記述する。

UNIX/Linux系の場合
.groovy/startup

下記のように記述する。

JAVA_OPTS="-DproxyHost=xxx.xxx.xxx.xxx -DproxyPort=3128"

シェルとして記述する。

根拠

この辺りのパラメータはstartGroovyを見ると分かる。
Windowsの場合はstartGroovy.batの下記の記述。

if exist "%USERPROFILE%/.groovy/preinit.bat" call "%USERPROFILE%/.groovy/preinit.bat"

UNIX/Linux系の場合はstartGroovyの下記の記述。

GROOVY_STARTUP="$HOME/.groovy/startup"
if [ -r "$GROOVY_STARTUP" ] ; then
    . "$GROOVY_STARTUP"
fi

sourceしているのでstartupには実行権限はいらない。
（たぶん。Windowsでしか試していない・・・）