Cant change catkin workspace directory

edit

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!