我用的是webots2022a,
官方deb安装好以后,文件安装在 /usr/local/webots。
需要将文件夹的权限进行设置。
然后用vscode打开文件夹。
cd /usr/local/webots
sudo chown -R xsh:xsh webots/
code /usr/local/webots
- xsh:xsh改成你自己的用户名
【方法一】
全局搜索
https://raw.githubusercontent.com
然后替换成
https://mirror.ghproxy.com/https://raw.githubusercontent.com
保存配置。
- note:我刚改完好像不起作用,重启一下就起作用了。
原理还是下载,有的时候还是出现问题。
用了几天还是用回了这个方法。
【方法二】
推荐。
首先去官网下载源码。然后跟方法一 一样,不过,是将地址改到源码所在的文件夹下。例如:
将
https://raw.githubusercontent.com/cyberbotics/webots/R2022a/
替换成
/home/xsh/webots/webots-R2022a/
为了方便大家下载。我将需要的文件都打包好了。
链接:https://pan.baidu.com/s/1LmhyJIdyu516jZ7_Ixc_vA?pwd=jnzc
提取码:jnzc
用了几天发现几个传感器会报错,彻底没法用。这方法放弃了。
【WEBOTS_HOME environment variable not defined. 错误】
找到webots安装目录,将目录位置导出到环境变量即可,默认安装位置为/usr/local/webots/,可以将下面这句话放在.zshrc(或者bashrc,看你使用的是什么)中。
export WEBOTS_HOME=/usr/local/webots/