Edicion de video en linux

Más información sobre edición de vídeo en Linux:
* Conversor entre formatos de video ffmpeg
* Cómo crear DVD con menu con software libre aquí