After my troubles this morning and the subsequent helpful comments from readers, I’m pleased to say I’ve worked around the pausing issue with recordmydesktop. Here’s the command line I used to record a Window hard up against the top left of my display.
recordmydesktop –width 1024 –height 768 –full-shots –fps 15 –channels 1 –device hw:2,0 …
