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
- choisir
Enregistrer en tant qu'animation - choisir
Convertir en couleurs indexées - cliquer sur Exporter
Un nouveau message demande de faire des choix
- animation en boucle ou pas
- délai entre deux images
- choisir une image remplace l'autre
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.