Version imprimable
Bjr,
Je tourne sous LAMP sur Raspberry pi 3.
Je traite des images que je prends avec une caméra à intervalles fixes.
Je voudrai créer un fichier .gif ou toute les images seraient rassemblées afin de faire une animation.
Ma question est :
Peut-on réaliser cela facilement avec les bibliothèques images du PHP ?
Dois-je plutôt m'orienter vers python, qui comprends de nombreuses bibliothèques, mais que je connais peu ?
PHP permet de faire des images GIF animées à l'aide d'une des bibliothèques PHP trouvées là :
https://github.com/lunakid/AnimGif
https://github.com/Sybio/GifCreator
je viens de les essayer et ça fonctionne avec PHP 7.2.
merci.
J'espère que la puissance de calcul nécessaire n'est pas trop grande.
Pourquoi passer par PHP et pas simplement par ffmpeg ? Ça sera surement plus performant.
Un grand merci.
Il se trouve que le paquet est installé d'origine sur ma distribution !
Cela à l'air très puissant pour traiter de la vidéo ... et des gif.
Super !
Ffmpeg est LA lib de référence quand ont a besoin de travailler avec de la vidéo.
Si tu as une interface web en php tu trouveras sûrement des wrapper qui te permettront de lancer des commandes ffmpeg depuis php.
Ceci étant dit je te conseille de pas t'aventurer a utiliser les API ffmpeg sans une forte connaissance de la vidéo des codec et du C.
Le binaire (donc une simple cmd shell) suffit pour quasi tout.
Je viens d'essayer de convertir une série de fichier jpg en image animés .gif.
Apparemment , la convertion peut se faire à partir d'une vidéo mais pas à partir d'images.
Une solution ?
Oui il faut convertir tes jpg en avi puis l'avi en gif.
Un exemple ici