Merge: lib/config: better tool configuration
authorJean Privat <jean@pryen.org>
Sat, 12 May 2018 01:10:41 +0000 (21:10 -0400)
committerJean Privat <jean@pryen.org>
Sat, 12 May 2018 01:10:41 +0000 (21:10 -0400)
commitb49fa6fb09d391564ca64d5f10566e64aa083d11
treeb69887b365d00e7adfb38602c8f8caed4e2da3ac
parent16c7a7de3a8c345afa1ecc21a05b5f242badd193
parentb400ef75b44616e4072572efc049e396bbb7dfcd
Merge: lib/config: better tool configuration

This PR reworks some aspects of the `lib/config`:
* Add option `-?` as help
* Introduce `--stub-man` option (almost the same thing than in `ToolContext`)
* Make `nitmd` use `config` instead of `opts`
* Define a better `tool_description` for `github/loader`

Pull-Request: #2674
Reviewed-by: Jean Privat <jean@pryen.org>