#!/bin/sh
fileext='TIF'
for file in *.$fileext; do 
	echo $file;
	nfile=`echo $file | sed 's/\(.*\)\.TIF/\1\.tif/'`;
	mv "$file" "$nfile";
done
