i like Simplescreenrecorder for linux. it can do 720p 60fps. If you record to webm you can then use https://cloudconvert.com/webm-to-gif to get a nice gif.
