nmh-workers
[Top] [All Lists]

Re: [Nmh-workers] does "folder +inbox -noprint" work?

2018-01-05 18:19:47
Hi Paul,

David wrote:
Yeah, looks like it's always (at least since 1989/06/26) been that
way.

`git grep noprint' suggests 6.8 removed it from the documentation
because it didn't work.

but that still prints the folder name, doesn't it?  i think -noprint
might be totally silent.  (of course, since it doesn't work, i don't
actually know.  :-)

There's various other mentions of it in that output, including
documenting what it was intended to do.

A few nmh commands are too chatty IMO for Unix so one ends up scripting

    pick "$@" 2> >(grep -v '^pick: no messages match specification$' >&2)

That quickly bores.  -noprint doesn't seem a good fit for a general
`please be quiet'.  If folder's regaining that functionality then
perhaps it's the opportunity to use a more general, positive rather than
negative, option?  Especially if it has an often unambiguous
abbreviation.

-- 
Cheers, Ralph.
https://plus.google.com/+RalphCorderoy

-- 
Nmh-workers
https://lists.nongnu.org/mailman/listinfo/nmh-workers

<Prev in Thread] Current Thread [Next in Thread>