Dateien umbenennen

[Stefan]

Eine Datenquelle liefert mir Daten (z.B. Bilder einer Webcam) als eine Reihe von Dateien in einem Verzeichnis in folgender Form:

datei
datei.1
datei.2
datei.3
...
datei.150
etc.

Das kann unter Umständen eine vierstellige Zahl werden. Nun brauche ich ein Programm, dass sie mir umbenennt und zwar so, wobei der Dateiname variabel sein muss:
datei -> datei.0000
datei.5 -> datei.0005
datei.789 -> datei.0789
datei.1234 bleibt unverändert.

Ich kann das zwar leicht selbst programmieren, aber ich glaube, so etwas hat schon jemand, also warum das Rad nochmal erfinden. Wo gibt es so etwas zum Download (als Bash-Skript)?

Stefan