- 31 Jan 2010 -
After futile searches and a lot of old pages, I finally found a linux screencast tool: recordmydesktop.
Using the synaptic package manager, I installed recordmydesktop. Eventually I discovered that this was not the gui part of the program and installed gtk-recordmydesktop.
I’ve been very happy with the results.