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

[Ralph Corderoy]

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