What is the .catkin_workspace file and .catkin_tools folder?
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