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
_______________________________________________
Nmh-workers mailing list
Nmh-workers@nongnu.org
https://lists.nongnu.org/mailman/listinfo/nmh-workers