Closed jgiles closed 10 years ago
Currently, finder options have their own field:
{ "plugins": { "doc_comment": false, "closure": { "finder": { "name": "grep", "options": { "dirs": [ "relevant/project/subdir", "/absolute/path/to/library" ] } } } } }
It's a minor issue, but this adds extra depth to the options JSON and makes it more difficult for humans to edit.
It might be easier if the finder property was an object with all the finder options, like this:
finder
{ "plugins": { "doc_comment": false, "closure": { "finder": { "name": "grep", "dirs": [ "relevant/project/subdir", "/absolute/path/to/library" ] } } } }
A few 'options' would always be present, like name and possibly debug (#6).
name
debug
Currently, finder options have their own field:
It's a minor issue, but this adds extra depth to the options JSON and makes it more difficult for humans to edit.
It might be easier if the
finder
property was an object with all the finder options, like this:A few 'options' would always be present, like
name
and possiblydebug
(#6).