[thelist] video editing on linux

[Bob Meetin]

What are some programs available on Linux (Ubuntu) for doing relatively 
simple video editing?  What constitutes simple? I have a batch of flash 
videos that were given to me in a single video file, flv. 

I need to be able to segment them into individual files.
Input .vob, quicktime or .flv
Output .flv
It would be a bonus to be able to add an overlay title or image for 
those without, but this is more of a bonus.
Fade in/out would also be a bonus.
Simpler the better.

-Bob