How to batch extract frames from video

I also needed to extract frames from a video , for that I used ffmpeg

ffmpeg -i movie1.MPG -r 1 -f image2 frames/images%d.png

Batch converting images

Today I had to batch convert images from png to pgm. Here how you can do it using Imagemagick

mogrify -format pgm *.png