Create a GIF from a series of images with 100ms delay between them

ImageMagick image conversion tool.
More information: <https://imagemagick.org/script/convert.php>.
Trick copyright: tl;dr; <https://github.com/tldr-pages/tldr>

convert {{image1.png}} {{image2.png}} {{image3.png}} -delay {{10}} {{animation.gif}}

click the source code to copy install convert on any operating system with command-not-found.com