changing file extentions

Seraph · 09-17-2003, 09:26 AM

Hey, I was wondering if there was a command that could rename the file extensions of several files at once. What I'd like to do is be able to change all of the .mp3 files in a folder to .ogg. .for some reason grip is naming them wrong

so it would be nice to be able to change all of the names at once.

DrOzz · 09-17-2003, 09:42 AM

well you may risk having unplayable music files if you just rename an mp3 to an ogg...if it isn't an ogg file, then its still not going to be an ogg file just by changing and extention..you'll have to get some type of software to convert the files...

Seraph · 09-17-2003, 12:31 PM

Yeah, I know see I'm ripping the songs as .ogg files and they are actually .ogg files but for some reason grip is labling them as .mp3 which causes xmms to not play them. . and it gets old changing each file name one at a time. .

itsjustme · 09-17-2003, 03:42 PM

From this search result:
http://mm.ilug-bom.org.in/pipermail/...23/001173.html

Copy and paste this on the command line:

for i in *.mp3; do j=`expr "$i" : "$.*$.mp3"`.ogg; mv $i $j; done

good luck