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.

Desde el menú acciones (si no está visible lo podemos hacer aparecer desde el menú ventana, pinchando en acciones) podemos llevar a cabo la grabación de acciones. Primero creamos una acción nueva. Los comandos que realicemos se añadirán a la acción después de pinchar en el botón Iniciar la grabación y hasta que la detengamos con el de Parar la grabación. Registraremos todos los comandos que queramos aplicar luego al lote de imágenes, de principio a fin del proceso, incluyendo guardar y cerrar la imagen.

En el menú archivo pinchamos en automatizar y luego en lote para definir el grupo de imágenes a editar automáticamente. En la ventana que nos aparece podemos seleccionar la acción a aplicar de todas las que tenemos creadas, la carpeta de origen donde se encuentra el grupo de imágenes a tratar, y la carpeta de destino (en caso detener activa la opción Ninguna se sobreescribiran los archivos. Ignorar comandos “Guardar como” de acción sirve para no tener que darle a OK después de que se procese cada imagen. Manejando una especie de expresiones regulares podemos decidir el nombre de las imágenes a guardar.