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