diff options
| author | David Bremner <david@tethera.net> | 2022-01-01 08:01:36 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2022-01-18 08:11:06 -0400 |
| commit | c5cf92aa3534b27c0dda4794d14571b1b5439da8 (patch) | |
| tree | f766b3f0b39e6e679bc0578faee3bcf9246baf7d /devel | |
| parent | 79936ac93e486d8ff82729840154bf8c2212ebb6 (diff) | |
CLI: print extra headers in structured output
This is based on a patch from Johan Parin [1], which is in turn
responding to a bug report / feature requiest from Jan Malkhovski.
The update to the structured output documented in schemata is intended
to be upward compatible, so the format version stays the same
[1]: id:20191116162723.18343-1-johan.parin@gmail.com
[2]: id:87h8sdemnr.fsf@oxij.org
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/schemata | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/devel/schemata b/devel/schemata index 01e3a3df..01810888 100644 --- a/devel/schemata +++ b/devel/schemata @@ -145,9 +145,11 @@ headers = { Cc?: string, Bcc?: string, Reply-To?: string, - Date: string + Date: string, + extra_header_pair* } +extra_header_pair= (header_name: string) # Encryption status (format_part_sprinter) encstatus = [{status: "good"|"bad"}] |