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

Comments

Just as a note: You need to delete .catkin_tools file, then follow the tutorial $ mkdir -p ~/catkin_ws/src $ cd ~/catkin_ws/ $ catkin_make Of course, you don't need to make it catkin_ws. Then you init.

zouner gravatar image zouner  ( 2021-12-16 16:42:56 -0600 )edit

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: 369 times

Last updated: Jul 10 '20