[G4E]

On linux, i like peek[0] quite a lot. Its ui is straighforward, and it can export to gif, webv and mp4. However it's only compatible with X11 as far as i know.

[0] https://github.com/phw/peek

[pornel]

Peek supports gifski (https://gif.ski) encoder, so it can have very high quality.