Convertir GIF a archivos PNG comprimidos (para mayor desempeño de KIVY)

gif2pngzip.sh

#!/bin/bash

# Uso: gif2pngzip.sh ARCHIVO.GIF [ARCHIVO2.GIF]

if ! which convert 1>/dev/null 2>/dev/null; then
	echo "Falta instalar imagemagick"
	exit 1
fi


for archivo in $@; do
	if [ ! -f $archivo ]; then
		echo "$archivo no es un archivo!"
	fi
	temporal=$(mktemp -d)
	echo "Guardando cuadros temporalmente en $temporal"
	convert $archivo $temporal/frame.png
	count=$(ls $temporal/*.png | wc -l)
	filename=$(basename "$archivo")
	extension="${filename##*.}"
	filename="${filename%.*}"
	target="$filename.zip"
	zip -j $target $temporal/*.png
	echo "ZIP $target generado con $count imagenes"
done