DOS Batch Programmierung

[Schani]

Hallo zusammen,

habe eine Frage für Leute die sich im DOS auskennen.
Ich will eine Datei mit der Urzeit speichern, dazu mache ich folgendes:

SET x=%time%  // Bsp: x = 12:12:12,34

copy xxx.log %x%.log

Das Problem ist, DOS akzeptiert keinen Dateinamen mit Doppelpunkten, d.h. ich müsste die Doppelpunkte durch einen Buchstaben ersetzen, gibt es da in DOS irgend eine Möglichkeit dazu.

// Ergebnis sollte z.B: 12x12x12x34.log sein

Ciao
Schani