title: turn PIL images into video on Linux
body: <p>I am using python 3 on Debian Linux, I am using the python imaging library (pillow fork) to produce a sequence of images, I would like to output the images as a video in a widely supported format (don't care too much which one as long as it's sometthing I can view in VLC and import into video editing software).</p>
  
  <p>How can I do this?</p>