Pipe and replace message

[Michael Kjörling]

On 22 Nov 2023 20:12 +0100, from david at santinoli.com (David Santinoli):
> I could not find a way to pipe a message to an external filter and have
> the output replace the original message.

You can set $editor to any script you want and cause <edit-message>
(or <edit> or <edit-file> as applicable) to be invoked. Make the
script put the replacement contents (including headers if those are
passed in) back in the named file when you're done, return success,
and you should get much the effect you're after.

-- 
Michael Kjörling                     🔗 https://michael.kjorling.se
“Remember when, on the Internet, nobody cared that you were a dog?”