Shell Scripting Question

[Doogee]

Ok i have a whole bunch of mp3s in a folder with the extention *.mp3.OK currently i have to rename them as *.mp3 to play them in xmms.

My question is is there any way to rename the files with the proper *.mp3 extentions while still keeping the proper file name of the song?

[Void Main]

This should do it, right on the bash command line:

Code: Select all

for file in *OK; do mv "$file" "${file%%.OK}"; done


[Doogee]

my friend you are a genius
i will alias that now