Re: [Nmh-workers] pick -nosequence ?

[Ken Hornstein]

>Would a more general -noprofileparam be a more useful addition to
>argument processing?  That way, pick, scan, etc., when used in scripts
>wouldn't be tainted by the user's preferences;  I may like pick to have
>-nozero by default.

We already have a LOT of -no* options to override particular options
set in your profile.  We're missing a few ones; that's what we're
talking about here.  I'm not against -noprofileparam, exactly, but
I think it's a bit more complicated than you think (by the time
smatch() starts parsing the options it's too late)..  But I'm fine
with -nosequence; like I said, it follows an already-established
pattern.

--Ken