On Tuesday, 31.10.2000 at 18:44 +0100, Emil Isberg wrote:
On Tue, 31 Oct 2000, Dave Ewart wrote:
:0 fhw
* Date:.*\-0000.*
! /bin/sed -e 's/\-0000/\+0000/g'
This would seem to work, but I am aware that it could change -0000 to
+0000 elsewhere in the headers, since the sed filter is non-specific,
and I'd prefer this not to happen.
How about changing only the Date:-header by using
's/^\(Date:.*\)\-0000/\1\+0000/g' or perhaps
's/^\([dD][aA][tT][eE]:.*\)\-0000/\1\+0000/g' ??
Right, I'll see if I can work out exactly how those work ... :-) Not a
Sed expert, at least not yet ...
Btw, you should use pipe (|) instead of exclamation mark (!) when
filtering to a program.
Ah yes, it was a typo ...
Thanks for the help.
Dave.
--
Dave Ewart
ewart(_at_)icrf(_dot_)icnet(_dot_)uk
Computing Manager
ICRF Cancer Epidemiology Unit, Oxford UK
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail