Perchè non riuscivo a far funzionare il batch, rinomina.sh, che mi aveva scritto Daniele:
Il motivo era dovuto al fatto che copiavo il file, creato in windows, tramite una penna usb sulla mia macchina linux.
Per risolvere, dopo numerosi tentativi, ho creato un nuovo file con il comando:
#touch rinomina.sh
ho aperto il file di partenza, rinominato in rinomina.txt, con il browser.
ho fatto il copy del contenuto di rinomina.txt
ho aperto il file precedentemente creato con:
#vi rinomina.sh
ho incollato e salvato.
Miracolo funziona.
Molto probabilmente la copia del file windows non veniva correttamente translata in linux.