webots2022加载在线资源不成功(或者很慢)的解决办法

webots改版之后很多资源文件更改为在线加载,由于你懂的原因,加载时非常慢,甚至是无法加载,这里使用在资源下载链接上增加国内镜像加速来解决该问题。

修改webots安装目录所有者权限

默认安装在:/usr/local下
打开终端,修改webots目录所有者权限

sudo chown -R mhming:mhming webots/
修改之前
修改之后

使用vscode打开webots目录

左侧搜索替换如下所示
将:https://raw.githubusercontent.com
替换为:https://ghproxy.com/https://raw.githubusercontent.com

点击全部替换按钮

replace

点击右上角关闭vscode,在弹出选项框中选择保存所有

Save All

重新打开webots工程,可以快速加载在线资源

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容