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