Converteren van video naar afbeeldingen

• hoe een video converteren in aparte jpeg-frames
• Hoe afbeeldingen in een map in 1 keer converteren naar nieuwe extentie:

for F in *; do convert $F `basename $F .png`.pgm; done

In dit voorbeeld worden bestandjes met naam NAAM.png geconverteerd naar NAAM.pgm