Webots：プロキシの設定

学内などのプロキシ環境下ではWebotsもプロキシ設定をする必要があります．

• メニューから[ツール]→[プリファレンス…]→[Network]タブを選択して，以下の項目を入力したら[OK]をクリックする．
  • Hostname: ホスト名．”http://”は入力しないでホスト名だけを入力する．
  • Port: ポート番号を入力

終わり