divx to mpg/avi

[Martink]

Hoe kan ik divx omzetten naar een avi of mpeg bestand?

[Verwijderd]

onder linux met de mjpegtools, onder windows vast met tmpegenc of virtualdub.

Wat voor AVI (i.e. wat voor codec) wil je eigenlijk

[Martink]

Gewone standaart windows codec

[The Bad Seed]

DivX is ook al avi. Als je een andere codering wil gebruiken (indeo,...) gebruik je VirtualDub. Naar mpeg heb ik geen idee.

[Jag]

Pff, gebruik ff de search.