I'm looking for something like ffmpeg, only which can encode movies into DivX format, so that users could upload any video format and it would then be converted to DivX, much like ffmpeg's usage with FLV videos.
Is there such a tool as a command line Linux DivX encoder, or am I hoping for too much?
Is there such a tool as a command line Linux DivX encoder, or am I hoping for too much?

