Script to change file extension?

[nrastogi]

Hi guys,

I am very new to the scripting world.

I have this directory that has 1000's files with the extension .JPG and .jpg as well.

Since, *ix is case sensitive, that is creating a problem for me.

Could you please let me know the script that would go through all the files and change the extension from JPG to jpg.

I am using RedHat 7.3 Linux !

I appreciate your help!

Thanks a lot in advance.

NRastogi

 

[KenCunningham]

I'm sure there's been a similar question posted in Tek-Tips in the past. Have you tried a keyword search on 'File extension' or similar?

 

[KenCunningham]

Found it:

see Thread822-194641

Cheers.

 

[jaymzter]

that's a lot of pr0n!

 

[patel]

Use this folloing command line syntax of cut and paste in script.


#cd /source dir

# ls -la | awk '{print $9}' | grep JPG > file1

# for i in `cat file1`
do
name=`echo ${i} | awk -F. '{awk $1}'`
mv ${name}.JPG ${name}.jpg
done


Patel