I haven’t used webots in ages, but even looking in the official docs, it seems you need to add another PPA to your system to install Webots. That’s unlike Gazebo which comes directly packaged in the ROS PPA.
I haven’t used webots in ages, but even looking in the official docs, it seems you need to add another PPA to your system to install Webots. That’s unlike Gazebo which comes directly packaged in the ROS PPA.