Cant change catkin workspace directory
Hi everyone!
I made a mistake I made a catkin config in the path
~/home/user
instead of:
~/home/user/catkin_ws
So now catkin seems to search for src devel and so on in the user directory. On the other posts, people advice to delete the workspace folder and create a new one, but in my case it is my ~/home/user so I do want to delete everything. How can I change this directory? I havn't seen any variables, and I have no .catkin_workspace file that I could delete, even when displaying hidden files.
Thanks!