catkin的工作空间变成home解决办法
1. cd #go to home dir
2. ls -la | grep catkin #cheak if there is a dir named *.catkin_tools*, that's the problem!!!
3. rm -r .catkin_tools
catkin的工作空间变成home解决办法
1. cd #go to home dir
2. ls -la | grep catkin #cheak if there is a dir named *.catkin_tools*, that's the problem!!!
3. rm -r .catkin_tools