Convertire sequenze di immagini

Per convertire una sequenza di immagini da ppm a jpeg,

usando convert di imagemagick

#!/bin/tcsh foreach i (*ppm)
convert $i $i:r.jpg
end

Per cambiare il nome si può utilizzare krename, se ad esempio capita che le immagini hanno nome Img000_pippo.png possiamo con krename cambiarle in Img_pippo000.png.