Quoth Jameson Graef Rollins on Nov 22 at 8:15 am: > On Fri, Nov 09 2012, Mark Walters <markwalters1...@gmail.com> wrote: > > This adds a --output=with-ids option which gives similar output to the > > normal search summary output but with a list of message ids > > too. Currently this is not implemented for text format. > > Hey, Mark. Very nit-picky comment here, but I'm not sure "with-ids" is > an appropriate name for an output type. "with-ids" sounds like a > modifier, as opposed to a output type unto itself.
In fact, it sounds so much like a modifier that I wonder if it should be implemented as a modifier. This isn't the first time that we've wanted to include something in the JSON output but make it optional for performance reasons. For example, show has a boolean --body argument for this reason. What if this wasn't a new type of output, but simply a new --ids=true (or --queries=true) argument? _______________________________________________ notmuch mailing list notmuch@notmuchmail.org http://notmuchmail.org/mailman/listinfo/notmuch