Changing file extensions

[geezer34]

Hi Guys

I have a load of file that have a .JPG extension and I need to convert them to .jpg.

Know I need to loop through the file but dont know how to change the file name. Heres my basic code to date:

foreach i [glob *.JPG] {

}

Hope you can give me some pointers.

 

[geezer34]

I have just found that I can use

file rename $i $i.jpg

however this gives me something along the line of

test.JPG.jpg.

Any way that I can just end up with test.jpg??

Thanks

 

[marsd]

file rename $i [append [file tail $i] .jpg]