On Tue, 2016-11-08 at 10:25 +0100, Richard Cochran wrote:
> On Tue, Nov 08, 2016 at 12:32:04AM +, Keller, Jacob E wrote:
> >
> > I think in this case introducing a "long" option would make more
> > sense than using more small options. I do agree that we shouldn't
> > proliferate command line
On Tue, Nov 08, 2016 at 12:32:04AM +, Keller, Jacob E wrote:
> I think in this case introducing a "long" option would make more
> sense than using more small options. I do agree that we shouldn't
> proliferate command line options for every single thing in the
> config, (as many of these are
