User Tools

Site Tools


ros

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
ros [2019/09/27 11:17]
apeeters [Overview]
ros [2020/03/06 09:25] (current)
tvandenbussche [ROS Configuration]
Line 21: Line 21:
 # Source ROS Config files # Source ROS Config files
 source /​opt/​ros/<​distro>/​setup.bash source /​opt/​ros/<​distro>/​setup.bash
-source ​~/​catkin_ws/​devel/​setup.bash+ 
 +mkdir -p ~/​catkin_ws/​src 
 +cd ~/​catkin_ws/​ 
 +catkin_make 
 +source ​devel/​setup.bash
  
 # Choose editor for rosed command # Choose editor for rosed command
ros.txt · Last modified: 2020/03/06 09:25 by tvandenbussche