# +=============================================+
# Strip the filename, retain the directory only.|
# +=============================================+
function getShellScriptDirectory {
  local dir
  
  dir=${0%/*}

  if [ "$dir" = "." ]
  then
    dir=$(pwd)
  elif [ "${dir#/}" = "$dir" ]  # dir does not start with a /
  then
    dir=$(pwd)/$dir
  fi
 echo $dir
}
# ==============================================
# Delete the file if exists
# ==============================================
function deleteFile {
  if [ -e $1 ]; then
    echo "Deleting file [$1]."
    rm $1
  fi
}
# ==============================================
# Change extension of file if it exists
# ==============================================
function changeFileExtension {
  filename=$1
  ext=$2
  #echo "File mame =$1, ext=$2" 
  if [ -e $filename ]; then
    noext=${filename%.*}
    echo "Renaming [$filename] to [$noext.$ext]."
    mv $filename $noext.$ext
  fi
}
# ==============================================