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.
come noterete è piuttosto banale, se avete qualche suggerimento per migliorarlo è ben accettocodice:#!/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
![]()