Dejo aquí anotado un pequeño script que he usado para generar GIFs animados a partir de vídeos y que he usado ya en alguna otra entrada de este blog