salve a tutti

tempo fa scrissi uno script molto molto semplice per rinominare svariate immagini, lo script funziona a dovere ma sarebbe interessante potere anche convertire le immagini in una estensione ben precisa, ad esempio da jpg a png.

di fronte a questa nuova necessità ho apportato qualche modifica, fa il suo dovere ma, vista la mia scarsa dimestichezza, sono sicuro che si può ottimizzare qualcosa.

codice:
#!/bin/bash
# script per rinominare immagini

echo inserisci il percorso #path in cui si trovano le immagini
read sorgente

#estensione delle immagini da convertire
echo inserisci estensione iniziale senza il punto
read estensione

#estensione delle immagini convertite
echo inserisci estensione finale senza il punto
read estensione1

cifra=0

for img in $(ls "$sorgente"/*."$estensione"); do
    convert "$img" "$img"."$estensione1"
done

for img in $(ls "$sorgente"/*.*."$estensione1"); do
    cifra=`expr $cifra + 1`
    mv "$img" "$sorgente"/"img_0$cifra"."$estensione1"
done

for img in $(ls "$sorgente"/*."$estensione"); do
    rm "$img"
done

exit 0
come noterete è piuttosto banale, se avete qualche suggerimento per migliorarlo è ben accetto