record desktop in linux (ubuntu 10.04)

(1) use gtk-recordMyDesktop
this creates "*.ogv" file.

(2) you can convert ogv file to mp4 using vlc player (free)

(3) mp4 is more generally used in windows and can be convertible other format using camtasia.