ppm zu jpeg Bilder konvertieren

Heute musste ich viele Bilder vom ppm in das jpeg-Format umwandeln. Mit dem folgenden kleinen Bash-Skript ging das ganz schnell:

for pic in *.ppm
do
    pnmtojpeg "${pic}" > "${pic/%ppm/jpg}"
done

pnmtojpeg befindet sich bei Debian und Ubuntu im Paket netpbm.