Wie fügt man Punkte zwischen zwei Ziffern einer sechsstelligen Teilkette hinzu?

Question

Ich habe eine Textdatei, die ungefähr tausend Dateinamen enthält, die ich etwas ändern muss. Jeder Dateiname ist ein Datum und Uhrzeit formatiert wie:

2013-05-01 120125.jpg 

Ich muss sie alle konvertieren:

2013-05-01 12.01.25.jpg 

Ich gehe davon würde dies ziemlich trivial mit regulären Ausdrücken sein, aber ich bin immer verwirrt, wenn ich versuche, etwas mit ihnen zu tun! Hilfe ist willkommen!

Answer 1

Sie möchten eine ersetzen Technik verwenden (in welcher Sprache/Umgebung, die Sie verwenden) auf Strings wie folgt erfassen:

(\d{2})(\d{2})(\d{2}) 

* beachten Sie die geschweiften Klammern für eine verbesserte Effizienz .

Und ersetzen mit:

$1.$2.$3 

Hier ist ein demo link.

Hier ist ein SO page discussing the execution of replacements on nano.

Answer 2

Verwenden Sie Erfassungsgruppen, um die Ziffern zu vergleichen und sie an die Ersetzung zu kopieren.

Replace: (\d\d)(\d\d)(\d\d)\.jpg

mit: $1.$2.$3.jpg

$1, $2, $3 die Teile der ursprünglichen Zeichenfolge kopieren, dass jede Einfang-Gruppe abgestimmt.

Answer 3

Wie von Soviut erwähnt, ist SO für Hilfe und nicht die Arbeit für Sie. Das heißt:

Wenn Sie etwas mit Regular Expressions tun möchten, gehen Sie am besten auf die Rubular-Website, wo Sie Ihre Regex erstellen können, während Sie genau sehen, welches Ergebnis Sie erhalten.

Rubular