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でしか試していない・・・)