(メモ)Processingのプロキシ設定

Processingのバージョンは2.2.1、環境はWindows。設定ファイルを直接編集する。

1. [File]→[Preferences]から設定メニューを開き、下の方にある設定ファイルのパスをクリック。すると設定ファイルの格納されたフォルダが開かれる。
2. Processingを終了。
3. preferences.txtを開き、以下の通り編集。

• 編集前

proxy.host=
proxy.port=
...

• 編集後

proxy.host=[プロキシサーバー]
proxy.port=[ポート番号]
...

これで[Tools]→[Add Tool...]からツールを追加できるようになった。

ちなみに以下のようにpreferences.txtのrun.optionsへ設定する方法では不可だった。

run.options=-DproxyHost=[プロキシサーバー] -DproxyPort=[ポート番号]
...