Dockerの設定ファイルにproxy設定を書き込む。 vim /etc/default/docker ... # 環境に応じて export http_proxy="http://your-proxy...:your-port" export https_proxy="http://your-proxy...:your-port" ... そのあと"docker build"でDNSを参照してなくて困…

Processingのバージョンは2.2.1、環境はWindows。設定ファイルを直接編集する。 [File]→[Preferences]から設定メニューを開き、下の方にある設定ファイルのパスをクリック。すると設定ファイルの格納されたフォルダが開かれる。 Processingを終了。 preferen…