I'd suggest using webp over gif. Maybe avif in the future, and APNG is supported in places.<p>With that in mind, you can still create gifs easily with:<p><pre><code> convert *.png animation.gif # optionally use -delay between pngs, or -loop to limit the number of animations
ffmpeg -pattern_type glob -i '*.png' out.gif # optionally with -framerate N
</code></pre>
Not sure why anyone would do it in python (again, use something else than GIF if possible), but it's cool there is a library for that anyway :)
I also found out you can do this with GIMP with layers, I think you name them a specific way and export as GIF and it does it. Also for Linux users, you can record your screen with Peek and turn it into a gif. Not sure if OBS does gifs wouldn't surprise me though.