Cómo hacer un GIF animado desde la línea de comandos con ImageMagick

Crear un GIF animado con ImageMagick, el editor de imágenes de la línea de comandos, es bien sencillo. Como materia prima para la animación tendremos un grupo de imagenes; cada uno de los fotogramas de la animación será una imagen, que tiene que estar en formato GIF.

Para editar masivamente el conjunto de imágenes recurrimos a la orden for de bash:

for i in *.JPG; do convert -verbose $i $i.gif; done

Una vez que ya tenemos las imágenes en formato GIF, basta ejecutar convert:

convert -delay 20 -loop 0 -verbose IMG_31*.gif animacion.gif

delay especifica el tiempo que veremos cada fotograma, en milisegundo.
loop indica las veces que se repetirá la animación. Si le asignamos el valor 0, la animación es un bucle que se repite sin cesar.

convert coloca las imágenes en la animación por orden alfabético, así que debemos nombrar adecuadamente los archivos para que los coloque como queremos.