Mike Kupfer wrote: >>>>>> "Darren" == Darren J Moffat <Darren> writes: > > Mike> Yeah, the discrepancy between -i on the command line and -i in > Mike> NIGHTLY_OPTIONS is awkward. Probably better to add support for "+l" > Mike> to disable linting. > > Darren> I thought that but didn't want to suggest + options because we > Darren> didn't have them before > > Well, we have +t already to disable the tools build (nightly) or ignore > the workspace's local tools (bldenv).
In that case +l has my support. > Darren> (plus they look strange to me :-)). > > Yeah, there's something counter-intuitive about using "+" to mean "don't > do <stuff>". Yeah like "BBC Two +1" as the TV channel that shows what "BBC Two" showed an hour ago, IMO that should be "BBC Two -1" :-) -- Darren J Moffat _______________________________________________ tools-discuss mailing list [email protected]
