On Wed, Oct 4, 2017 at 11:15 AM, Petr Ĺ abata <contyk(a)redhat.com> wrote:
<...>
recordmydesktop worked fine for me when I needed it. Since I'm
one of those people who use just a simple (X11) WM, are there any
simple, non-Gnome-centric alternatives?
Perhaps ffmpeg could help there.
https://trac.ffmpeg.org/wiki/Capture/Desktop
BR