[Pluto-help] Rinominare file

[Antonio Cuni]

Ho una serie di file nominati secondo il seguente schema:
	nome1.wav.mp3
	nome2.wav.mp3
	...
Vorrei scrivere un piccolo script (possibilmente bash) che li rinomini in 
modo da avere:
	nome1.mp3
	nome2.mp3

E' possibile? Immagino che occorra utilizzare qualche tool tipo sed o awk ma, 
ovviamente ;-), non li conosco...

ciao Anto
-- 
Antonio Cuni, 19 anni, studente
Brainbench C++ Master: 4.6, higher than 98% of all previous test takers.
C Language: 3.32, higher than 79% of all previous test takers.
Guida C/C++ di Programmazione.it: http://cpp.programmazione.it