Originariamente inviato da edriv
Approfitto di questo thread per fare una domanda simile:

come faccio a rinominare una serie di file con nomi diversi in questo modo:

file01.jpg
file02.jpg
ecc.

?
Esiste qualche programmino che fa questo?
E' possibile fare uno script che usi awk ( VVoVe: ) ?
codice:
# Mi sposto nella directory che mi interessa
cd /path/che/interessa

# Inizializzo il contatore
I=1

# "Per ogni FILE in quelli qui presenti, fai"
for FILE in *; do
    "Rinomina FILE in fileX.jpg"
    mv "$FILE" "file$I.jpg"
    "Incrementa di uno il contatore"
    I=$(expr $I + 1)
done
Scritto adesso, non testato, non so se funziona

Ah, chiaramente tutti i file devono essere dello stesso tipo. Se sono di tipi diversi bisogna lavorare un po' sul nuovo nome.

Inoltre se i file non devono chiamarsi semplicemente file1.jpg file2.jpg ... file100.jpg ma file001.jpg ... file010.jpg ... file100.jpg bisogna anche qui lavorare un po' per fargli aggiungere gli zeri mancanti.