Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Hotfix: fix plugins option in config file #1647
You are right @abitmore , the plugin options were giving error when called from the command line.
Let me know how do you see it, it is not very clean for sure but seems to be working.
Duplicate options in output of