You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
hello, how can I install new ros packages? I tried to use ros_catkin_ws but when I do catkin_make this appears:
The devel space at '/home/pi/ros_catkin_ws/devel' was previously built by ''. Please remove the devel space or pick a different devel space.
If I use the other workspace nothing happens when I do catkin_make
The text was updated successfully, but these errors were encountered:
If anyone else coming along has this question, the easy solution is to just make an additional catkin workspace in your home directory, initialize it like normal, then add the setup to your bashrc (http://wiki.ros.org/ROS/Tutorials/InstallingandConfiguringROSEnvironment starting from 3. Create a ROS Workspace). This should not change anything and allow you to have new packages.
hello, how can I install new ros packages? I tried to use ros_catkin_ws but when I do catkin_make this appears:
The devel space at '/home/pi/ros_catkin_ws/devel' was previously built by ''. Please remove the devel space or pick a different devel space.
If I use the other workspace nothing happens when I do catkin_make
The text was updated successfully, but these errors were encountered: