Ask Your Question
0

Cant change catkin workspace directory

asked 2020-07-09 06:52:46 -0600

AntoineKuleba gravatar image

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!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2020-07-10 04:09:31 -0600

AntoineKuleba gravatar image

Okay actually in the hidden files there was a folder:

.catkin_tools/profiles/default

which contains the information about the workspace. Just deleted it and then I was able to make a catkin_make from another directory.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-07-09 06:52:46 -0600

Seen: 329 times

Last updated: Jul 10 '20