Script for converting gif to pngs with android animation xml

gif2animation.py

#!/usr/bin/env python3

from subprocess import check_output as exe
import sys
import os
import math

gif = sys.argv[1]
out = sys.argv[2]

if not os.path.exists(out):
    os.makedirs(out)

l = exe(["identify", "-format", "%s:%T\n", gif]).decode("utf-8").strip()

frames = []
for f in l.split("\n"):
    i, cs = f.split(":")
    frames.append(int(cs)*10)

dn = math.ceil(math.log(len(frames), 10))
exe(["convert", gif, "-coalesce", "{}/{}_%0{}d.png".format(out, out, dn)])
with open("{}/{}.xml".format(out, out), "w") as f:
    f.write("""<animation-list xmlns:android="http://schemas.android.com/apk/res/android" android:oneshot="true">\n""")
    for i, ms in enumerate(frames):
        sn = "{{:0{}d}}".format(dn).format(i)
        f.write("""    <item android:drawable="@drawable/{}_{}" android:duration="{}" />\n""".format(out, sn, ms))
    f.write("""</animation-list>""")