On Linux there is recordmydesktop and its gui frontend gtk-recordmydesktop. I don't have a lot of experience using it, but a few tests worked as expected.