Tengo un gif animado que, como se creó originalmente, se anima una vez y luego se detiene. Quiero modificar el archivo de imagen para que se repita para siempre.
¿Qué aplicaciones gratuitas o utilidades de línea de comandos para Mac OS X puedo usar para hacer esto? He encontrado varias utilidades GIF que pueden crear nuevas animaciones, pero ninguna que me permita modificar las propiedades de las existentes.