!/bin/sh
## ===================================================================
# sintaxis: 
#		 cambia_nombre $1 $2 $3
# donde
#		 $1 argumento1: raiz del nombre de los ficheros
#		 $2 argumento2: extension antigua a cambiar
#		 $3 argumento3: extension nueva a dejar
#
# Ejemplo: 
#		 ./cambia_nombre pepe hpf f  
#
# Asi cambia el nombre de todos los archivos "pepe*.hpf" a "pepe*.f"
## ===================================================================
# Id: cambia_nombre 2003/01/25  17:00 pmuda Exp jdelia
  set -x
  ls $1* > /tmp/cambios
  for dir in `cat /tmp/cambios`
	 do
	 nombre=`echo $dir | cut -f 1 -d "."`
	 echo $nombre
	 echo "Procesando... " $dir  
	 mv $nombre.$2 $nombre.$3
	 done
  rm /tmp/cambios