Webots:プロキシの設定lecture2022.06.28学内などのプロキシ環境下ではWebotsもプロキシ設定をする必要があります.メニューから[ツール]→[プリファレンス…]→[Network]タブを選択して,以下の項目を入力したら[OK]をクリックする. Hostname: ホスト名.”http://”は入力しないでホスト名だけを入力する.Port: ポート番号を入力終わり
コメント