What's the ffmpeg command to extract PPM files from an existing video?
ffmpeg -i input.mp4 output_%04d.ppm


Output files will be named output_0001.ppm, output_0002.ppm, etc. See the image muxer documentation for more options and info.