FFmpeg

I often record a short screencast to document some process rather than taking a long series of screenshots. To me this is more effective to produce and most of the time also more convenient to consume later on. When I need some screenshots for written or printed documentation, I take them from the screencast after the fact. For recording, I use the GNOME builtin recorder. It is instantaneously ready to use and requires no fiddling with settings or file paths....