Just discovered desktop recording feature in Gnome 3:
Alt-Ctrl-Shift-R to start and stop. Small red circle appears in bottom right of screen while recording. Recordings are saved in webm format in the home directory with the filename shell-YYYYMMDD-#.webm (YYYY – year, MM – month, DD – day and # is a sequential number).
I will update this when I find out how to change settings (frame-rate, …).
UPDATE: Perusal of the source code reveals that the frame rate is hard wired in at 15 fps. So if you need more flexibility you will need to use something else. It’s still a great tool to have built in for casual use!
Advertisement

3 shell recorder – Settings, you can find with dconf-editor org.gnome.shell.recorder – file-extension: webm, framerate: 15, pipeline
The option to change the GS pipeline makes this way more flexible than any other screen recorder.
Does it allow sound recording along with the video?
It also lacks of the ability to select an active display. If you have 2 both are always recorded . . . Unfortunately xvidcap stucks / hangs in gnome3