Support additional Haros directories, besides "$HOME/.haros"

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

190 stars 37 forks source link

Support additional Haros directories, besides "$HOME/.haros" #69

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

The current version of Haros will always read/write data to ~/.haros. It would be nice to have an option to specify an alternative directory (even if for a single run).

Original issue: rosin-project/haros_catkin#6

git-afsantos commented 5 years ago

Relevant comment: https://github.com/rosin-project/haros_catkin/issues/6#issuecomment-502086138