Les images utilisées ici ont été obtenues avec Edugraph

Créer une animation gif

On suppose qu'on dispose d'un lot d'image au format .png, .jpg ou autre…

avec Gimp

On dispose de 14 images .png obtenues avec Edugraph. On ouvre la première avec Gimp, puis ouvrir commme un calque la deuxième image, puis la troisiéme… On a donc une image formée de 14 calques que l'on peut, par exemple, retailler en une seule opération. Il suffit ensuite, d' enregistrer sous un nom avec une extension .gif, par exemple zoom.gif . Un message d'avertissement demande comment on veut exporter l'image

Un nouveau message demande de faire des choix

Et c'est fini…

avec ImageMagick

Toutes ces images doivent se trouver dans le même répertoire, correctement nommées : un même préfixe avec des lettres, suivi d'un nombre à deux chiffres suivi de .png

On utilise maintenant Image Magick en ligne de commande : On se déplace dans le répertoire : cela donne pour moi:
cd site/anim/
puis on tape :
convert -delay 20 *.png anim.gif

convert est l'une des commandes les plus utiles de Image Magick . Ici on demande de mettre un intervalle de 20 centièmes de secondes entre chaque image. La notation *.png se lit : tous les fichiers dont l'extension est png. On obtient ainsi un fichier qui va s'appeler anim.gif

Pour que la tangente soit plus visible, son image a été répétée.