Safely rename catkin_ws to fix typo
This is dumb question maybe but before I mess up my environment I want to ask it.
First of all I know that the name of the directory doesn't really matter. But because I am using shared bash scripts it matters to me.
I accidentally type caktin_ws and have been living with this typo. But now it's causing problems. If I rename caktin_ws to catkin_ws, what else do I need to do?
I think I delete catkin_ws/build and then do a catkin_make it should clean everything up again. But before I try I thought I would ask here!
Also even if that's a technique, is there a better, quicker way than recompiling everything?