Resize a .gif and split it into individual .png frames

convert_gifs.py

# Resize a gif and convert it to a series of PNG files using PIL (pip install pillow)
# Run it like this: python convert_gifs.py mygif.gif mygif

import sys
from PIL import Image, ImageSequence
import os

# make a new directory for the files
try:
    os.mkdir(sys.argv[2])
except OSError:
    print("Can't create directory (maybe it already exists?)")
    pass

with Image.open(sys.argv[1]) as im:
    index = 1
    for frame in ImageSequence.Iterator(im):
        # resize to 128 x 128 pixels
        frame.thumbnail((128, 128))
        frame.save(f"{sys.argv[2]}/{sys.argv[2]}-{index}.png", "PNG", optimize=True)
        index += 1