Suche Programm oder (Shell)-Script um mehrere Dateien nach Inhalt umzunennen

[Muuhmann]

Hallo Leute,

Ich suche ein Programm oder ein (Shell-)Script um mehrere Dateien auf einmal umzunennen...

Ich habe hier ungefähr 11.000 txt-Dateien, die alle gleich aufgebaut sind.

Jetzt hat jede dieser Dateien in der ersten Zeile eine eindeutige Identifikationsnummer stehen. Diese Nummer ist 11 Stellen lang.

Ich würde jetzt gerne z.B. über RegEX oder was auch immer, diese Nummer herrausfinden und danach die Datei entsprechend umbenennen, d.h. die Identifikationsnummer soll der neue Dateiname sein.

Beispiel:
Dateiname: 05123.txt
Inhalt:

Bla bla bla bla bla - #12345678900 - blablalbalblablabalbalblas
und noch mehr text
viel mehr text
blaaah

Neuer Dateiname: 12345678900.txt


Vielen Dank für die Lösungsvorschläge!

 

[Muuhmann]

habs schon selbst gelöst.

hab mir n kleines java programm geschrieben..