Hi,
recently I stumbled upon Peek [1], nice one-button screen recorder. It
* records selected rectangle of the screen,
* can produce gif / webm / mp4.
* is packaged for most linux distributions
* and just works.
I find it great for bug reporting.
[1]:
https://github.com/phw/peek