Revision history [back]

just for reference, here's some other desktop video recording options in ubuntu I use to record graphical stuff (e.g. rviz, gazebo, etc):

• recordmydesktop, and @scpeters has a script that lets you click on a window to record it:

  alias recordmywindow='window_id=`xwininfo | grep "Window id" | sed -e "s@.*Window id: \([0-9a-fA-Fx]*\).*@\1@"`; recordmydesktop --workdir /home/hsu/videos --no-sound --windowid $window_id'
  

• vlc screen:// and piping --sout to a file or some other media.