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.