(メモ)Processingのプロキシ設定
Processingのバージョンは2.2.1、環境はWindows。設定ファイルを直接編集する。
- [File]→[Preferences]から設定メニューを開き、下の方にある設定ファイルのパスをクリック。すると設定ファイルの格納されたフォルダが開かれる。
- Processingを終了。
- preferences.txtを開き、以下の通り編集。
- 編集前
proxy.host= proxy.port= ...
- 編集後
proxy.host=[プロキシサーバー] proxy.port=[ポート番号] ...
これで[Tools]→[Add Tool...]からツールを追加できるようになった。
ちなみに以下のようにpreferences.txtのrun.optionsへ設定する方法では不可だった。
run.options=-DproxyHost=[プロキシサーバー] -DproxyPort=[ポート番号] ...