Module gazebo::file

source · [−]
Expand description

File/IO operations.

Functions

create_dirs_and_write
A simple api for creating all the directories up to a path for a file, and then writing the contents to that file.