dateinamen umwandeln

[hal]

hi, ich hab hier etwa 100 kleine video-dateien (fritz-001.mpg, fritz-002.mpg, fritz-003.mpg,....,fritz-100.mpg)
gibts ne möglichkeit bzw. einen befehl mit dem ich diese 100 dateien umbenennen kann, wobei die numerierung logischerweise erhalten bleiben soll! statt fritz-001.mpg solls dann z.B. heinz-001.mpg heisen!
danke -hal

[O'Dog]

Hi,

vielleicht ein kleines bash-Script z.B

for ((i=1;i<100;i++)) ; do mv test$i.txt fritz$i.txt; done

benennt alle dateien test1.txt, test2.txt usw. in fritz1.txt usw um.
in deinem fall müsstese noch if<10 und if<100 in der Schleife einbringen

O'Dog

[hal]

ich kenn mich mit scripten nich so aus, wie würde das in meinem fall aussehen? wäre echt net wenn du mir das zeigen könntest! das thema hört sich auch ziehmlich interessant an wo findet man da infos im netz? - mfg hal

[schulle]

for i in `seq -w 1 100`; do
mv -i fritz-${i}.mpg heinz-{$i}.mpg; done

oder

for i in fritz-*.mpg; do mv -i $i ${i/fritz/heinz}; done

[hal]

danke, hat geklapt!

[Dominik Seichter]

ACHTUNG! Werbung in eigener Sache:

Nicht so kompliziert Leute -> http://krename.sf.net ,
geht alles konfortable mit GUI

CU Dom

[Hey]

Sag mal, deine Dateien heissen nicht zufällig xxx1.mpg, xxx2.mpg ? <img src="http://www.pl-forum.de/UltraBoard/Images/Happy.gif" border="0" align="middle">