Sto migrando a linux e un passo fondamentale per me è la creazione dei divx.

Ho letto vari post sul forum ma non mi è chiaro se è possible usare (disponibile) il codec divx 5.2.

In alternativa, c'è un codec altrettanto valido?

(più cose avete da dire sui divx e il pinguino meglio è)

grazie