In linux da .AVI a .DVX qualche tool???

[skid]

Ciao a tutti,
mi trovo a dover convertire dei filmatini fatti con la fotocamera (.AVI) in .DVX da passare su cd/dvd per poterli vedere con il lettore attaccato alla TV.

In Winz usavo un softwarino free che mi permetteva di farlo.

Esiste qualche cosa in linux?

Grazie!

[zendune]

Se non ricordo male mencoder o transcode fanno le conversioni tra questi formati.