I remember that some people were looking at writing a program to do this using the hardware decoders/encoders on the Pi, and wonder if anyone has got a working program that I can just run from the command line with input/output file names as arguments?
Ideally it would autodetect the framerate, size and aspect ratio of the original file and handle at least stereo audio too. Speed is not critical - it doesn't have to be real-time on anything like that. I'd rather have a Pi sitting quietly doing the job for a few hours per file, than a noisy, power-hungry PC doing it in half the time.
