title: ffmpeg with a set of image files not formatted as %d.jpg
body: <p>I'm using ffmpeg to compile a set of jpgs into a video. There is plenty written about this, but it seems that the only way to do it is to have images named as consecutive padded numbers, e.g. <code>0001.jpg</code>, <code>0002.jpg</code>...</p>
  
  <p>The <a href="http://ffmpeg.org/ffmpeg.html#image2-2" rel="nofollow">ffmpeg documentation</a> states that it is possible to use other types of patterns, such as <code>%*.jpg</code> to capture all <code>*.jpg</code> files, but the only pattern that I have gotten to work on my own is the <code>%0Nd</code>-type pattern. The <a href="http://linux.die.net/man/1/ffmpeg" rel="nofollow">man page</a> only mentions that type.</p>
  
  <p>I really want to have ffmpeg use a set of images with arbitrary names. It would simplify my app quite a lot, make it easier to keep thumbnails and metadata in sync as images are inserted and deleted, etc. Creating links is not an option since I'm working on Android. Is there any way to do this?</p>
  
  <p>I'm also willing to modify the ffmpeg source or work with the C api to get it to do what I want, but I can't find the right spot in the code to do it, or appropriate docs for the C api. Any advice? Thanks.</p>