search

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
190 stars 37 forks source link

Allow --config option to provide optional configs.yaml path #74

Closed nlimpert closed 5 years ago

nlimpert commented 5 years ago

In case the environment requires a separate configuration path this PR introduces the required change.

However I have set it up as a draft as I'd like to discuss whether the proposed change is the way to go.

git-afsantos commented 5 years ago

The idea is fine, although I still have to review the proposed changes. Looking at the original issue, basically what you want is to provide just a custom config file, instead of specifying a whole new Haros home dir (which also has a config file), right?

nlimpert commented 5 years ago

Yes, that is the idea to provide additional flexibility specially for CI concerns. However we can discuss whether this is actually needed due to the --home parameter.