Re: file extensions -- batch mv'ing, mp3s

[Brian Servis <servis@purdue.edu>]

*- On 26 Jul, Buddha Buck wrote about "Re: file extensions -- batch mv'ing, mp3s "
>> 
>> To change .MP3 to .mp3 in a given directory, I do this (anyone know an
>> easier/more efficient way?):
>> 
>> $ for x in *;do mv -iv "$x" `echo "$x"|sed -e 's/MP3$/mp3/'`;done
>>
> 
> bash$ for i in *.MP3; do mv $i ${i%.MP3}.mp3; done
> 
[snip]
> I think it's shorter, clearer, and more efficient.
> 
> Any better ways?
> 

mmv '*.MP3' '#1.mp3'

-- 
Brian 
---------------------------------------------------------------------
Mechanical Engineering                              servis@purdue.edu
Purdue University                   http://www.ecn.purdue.edu/~servis
---------------------------------------------------------------------