Comment by francislavoie

I like to be able to records gifs/mp4s quickly as well, for reporting some issue with an animation on a website or whatever. On Linux I like to use Peek for that, and I use the built-in Screenshot tool otherwise on Ubuntu.