lo all.

im looking for an app to record the screen ass an mpeg or avi or any vidio format. you know of such a thing for linux? alternatively, is there a command to dum the x display to a file, for later encoeding, at the same time as it is in use?