Datum ersetzen mit sed

[Tom]

Hello,

mit diesem Pattrern geht es:
s/(Mon|Tue|Wed|Thu|Fri|Sat|Sun) (Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec) +[0-9]+ [0-9]{2}:[0-9]{2}:[0-9]{2} CET [0-9]{4}//g;
p;

Wann und warum man bei sed etwas escapen muss, ist mir allerdings auch noch nicht klar.
Da muss ich auch jedes Mal noch herumprobieren.

Liebe Grüße aus Syburg bei Dortmund

Tom vom Berg