Ask Your Question
0

What is the .catkin_workspace file and .catkin_tools folder?

asked 2021-07-25 04:31:39 -0500

electrophod gravatar image

updated 2021-07-25 04:43:49 -0500

I noticed that there is a hidden file with the name .catkin_workspace in my ROS workspace built using catkin. There is also a hidden folder called .catkin_tools.

When I open it, it says # This file currently only serves to mark the location of a catkin workspace for tool integration

I wanted to know
1) What is the use of this file (.catkin_workspace) and the folder (.catkin_tools)?
2) Does it need to be pushed to Git or should I add it to the .gitignore file?
3) Who generates it?

TIA

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
1

answered 2021-07-25 11:31:25 -0500

fergs gravatar image

I can't answer the first or third question exactly - but no, you don't need to push this to Git as it can be regenerated by catkin when you build again (think of it the same way you would a build executable or any other build artifact).

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

2 followers

Stats

Asked: 2021-07-25 04:31:39 -0500

Seen: 21 times

Last updated: Jul 25