#! /bin/bash
#
#   JPGtojpg filename 
#
# this script is for renaming files with an upper case .JPG extension to a 
# lower case .jpg extension, for example image1.JPG to image1.jpg
#
if [ -n "$1" ]
then
    for filename in "$@" ; do
	if [ ${filename##*.} = "JPG" ];  then
	`mv $filename ${filename/.JPG/.jpg}`
	fi
    done
else
	echo "no arguments given"
fi