mbm wrote:
Try mpeg4 avi format. I use aac or mp3 as the audio codec depending on the target (aac is usually good).
ffmpeg is flexible and faster than mencoder
Thanks for the hint. Although encoding speed isn't a big issue (it's a one-off).
I did try:
Try "ffmpeg -i infile -vcodec mpeg4 -acodec mp3 outfile.avi"
.. but my Windows test PC couldn't play it back (via media player), even with a current codec pack (Gordian Knot) installed. Played fine on my main (Linux) desktop, of-course, but where's the surprise in that?!
NB: I think that the Windows software that I need to make work is using "Video for Windows" rather than DirectX and I have some vague idea that maybe it doesn't use the same codecs or something (it doesn't play anything I've created so far). Anyway, something really basic and completely compatible with everything would be preferable, I think.
Otherwise I might be able to do what I need by converting the AVI file to a set of single-frame images (eg jpegs or pngs) first. I've not looked into that yet, but I'm sure Google will know!