Can anyone recommend a Linux program for video editing? I'm not doing anything extremely fancy. I just want to resize AVI files so that they are more manageable in emails and on the web. Thanks Steve