Hello,
$ cd ~/catkin_ws
$ catkin build
$ source devel/setup.bas
When I execute the above code, I take the below result.
user:~/catkin_ws$ catkin build
The build space at ‘/home/user/catkin_ws/build’ was previously built by ‘catkin_make’. Please remove the build space or pick a different build space.
user:~/catkin_ws$ source devel./setup.bash
bash: devel./setup.bash: No such file or directory