Convert images in a directory to a gif.

imgs_to_gif.py

# Converts a bunch of images into a gif.
# Relies on Pillow and glob
from PIL import Image
import glob

# Glob to regex the right files. Returns a list.
png_files = glob.glob("*.png")
# Bulk-open selected images.
ims = [Image.open(i) for i in png_files]

# Isolate first frame, so that you don't get a black/blank first frame.
first_frame = ims[0]
# Save first frame
first_frame.save(
    "test2.gif",  # Output filename - Pillow infers format from file extension.
    append_images=ims[1:],  # Append rest of images for .gif.
    save_all=True,  # Required.
    loop=0,  # Infinite loop.
    duration=3000,  # How long between frames in milliseconds.
)