Quale programma posso utilizzare su linux per comprimere e tagliare file video in Divx? mi hanno consigliato DVDShrink, ma volevo sapere se c'era di meglio... mi hanno parlato anche di Kino, ma sembra pił uno studio di registrazione. Grazie