[catkin] catkin init/build error, catkin source space does not yet exist

이전에 catkin을 사용하던 노트북에서 새 경로로 catkin init 을 실행하니 아래와 같은 에러가 떴다.

catkin [source] space does not yet exist

예전에도 학생들 교육해주다가 마주쳐서 아주 곤란했던 적이 있는데,

찾다보면 옵션을 써서 catkin config를 바꾸라고 한다.

ex> https://stackoverflow.com/questions/48055218/catkin-workspace-is-not-on-the-current-folder

ex> https://catkin-tools.readthedocs.io/en/latest/verbs/catkin_init.html

나에겐 아무짝에 쓸모없었다.

그냥 ~에서 ls -a를 하면 숨겨진 .catkin_tools 파일이 있는데, 이 파일이 catkin 설정 파일?이니 지워주도록 하자.

1. cd ~

2. sudo rm .catkin_tools

그리고 다시 catkin_ws(또는 워크스페이스)에 들어가서 catkin init -> catkin build를 하면 된다.

3. cd catkin_ws

4. catkin init