On 05/04/2013 20:26, Alex Merry wrote:
Yeah, I did mean to send it to the list. I'm used to mailing lists that edit the reply-to header.
I had another look at the list settings and mailman provides an option to do this but strongly discourages its use.
That would also work (although would put the burden of doing proper escaping on the script). I'm not sure that "--usestring" is the most descriptive option name. Maybe "--eval"?
I don't like "usestring" myself. "eval" is definitely better. I see what you mean about having to escape the string if it has unusual characters in it. I don't really like the idea of having a special "load file" option, though. It seems too much like a special case.
David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
