Comment by mathieudutour

I've used the default MacOS screen recording (cmd + shift + 5) and then edited/speed up some parts with iMovie.

Then I transform the video into a gif using https://github.com/mathieudutour/dotfiles/blob/master/bin/mo...

Hope that helps!