Re: [PATCH v2 06/17] cli/show: add information about which headers were protected

Subject: Re: [PATCH v2 06/17] cli/show: add information about which headers were protected

Date: Mon, 27 May 2019 14:59:50 -0300

To: Rollins, Jameson, Daniel Kahn Gillmor, Notmuch Mail

Cc:

From: David Bremner


"Rollins, Jameson" <jrollins@caltech.edu> writes:

> On Mon, May 27 2019, David Bremner <david@tethera.net> wrote:
>> The name "header-mask" is a bit generic, but I don't have my head in
>> this topic like you do. I was thinking of something like
>> "replaced-headers", but it's only a mild suggestion.
>
> I think the point is that the headers are more accurately "masked" than
> "replaced", since you can look under the hood and recover what the
> original header was.

Yes, I see what you mean.  It's just that for me a "mask" brings to mind
bitwise operations.  I guess I'd prefer "masked-headers" to
"header-mask", but if the two of you are convinced then I won't block
it.

d


_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch

Thread: