Configure alternate name for tools.json

[gregwebs]

Is it possible to have a -config-file option for retool?

My issue is that I would like to follow the standard of having a tools folder for tools generated by the project rather than dev tools. I can configure the _tools directory name, but it doesn't seem like I can configure the config file name, which is awkward when there is this different concept of project-generated "tools".

[gregwebs]

The approach I would like to do is

• tools.json -> retool.json
• _tools/ -> _retool/

I am hoping we can

• agree that adding this configuration option is a good change to make.
• decide on the flag name for this configuration option
• point out what code should be changed to add this functionality

[spenczar]

Sure, I'm comfortable with this. The only reason it isn't in place today is that I didn't have a good reason to add it.

-config-file seems like a suitable name.