Renomeando arquivos

Tenho mais de 100 arquivos para renomear, gostaria de saberuma maneira de agilizar isso.
A forma deles é a seguinte:
arquivo1.ext1.ext2
arquivo2.ext1.ext2
e assim por diante.
tentei um mv *.ext1.ext2 *.ext2 mas não funcionou
no final tem que ficar
arquivo1.ext2 suprimindo a ext1 dele

Sandro

Use esse script e veja se da certo!!

$ type zztrocaextensao
zztrocaextensao is a function
zztrocaextensao ()
{

zzzz -z $1 zztrocaextensao && return;
[ "$3" ] || {
echo ´uso: zztrocaextensao antiga nova arquivo(s)´ ;
return
};
local A p1="$1" p2="$2";
shift 2;
for A in "$@";
do
[ "$A" != "${A%$p1}" ] && mv -v "$A" "${A%$p1} $p2" ;
done
}

Não sei se já é tarde, mas descobri um jeito bem mais facil...

rename .ext1.ext2 .ext2 *.ext1.ext2

Não sei se já é tarde, mas descobri um jeito bem mais facil...

rename .ext1.ext2 .ext2 *.ext1.ext2

Valeu Benzatti, problema resolvido.