Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#26 Le 19/07/2017, à 17:00

jlfh0816

Re : [TUTO] script bash conversion vidéos mov et mp4 vers gif

@kholo
Effectivement, j'étais allé un peu trop vite et je n'avais pas bien vu qu'il y avait des lignes "options" ... désolé.
J'ai donc refait des essais en les modifiant et ça fonctionne impeccablement, je peux effectivement modifier "DEBUT" et "DUREE".

Pendant que j'y pense, et si je n'abuse pas, il y a une autre option qui serait intéressante: celle qui consiste à dire au script que la taille finale du gif animé ne doit pas dépasser une certaine valeur maximale. En effet, lorsqu'on veut publier un gif animé sur un forum, on nous demande souvent de ne pas dépasser 1Mo (par exemple, sur ce forum Ubuntu.fr) ou 2 Mo (par exemple, sur le site dolys.fr).
Je ne sais pas si c'est faisable mais ça serait une option sympa.
Ca serait une nouvelle fonction Mp42gifpalettetaille qui utiliserait les 2 options "DEBUT" et "TAILLE FINALE DU GIF" (en Ko ou en Mo) ?

Encore merci pour tout ton travail vraiment super !

Dernière modification par jlfh0816 (Le 19/07/2017, à 17:07)


Xubuntu - Voyager 18.04 et 22.04

Hors ligne

#27 Le 19/07/2017, à 17:51

kholo

Re : [TUTO] script bash conversion vidéos mov et mp4 vers gif

à part le faire à taton, un peu comme chercher une racine carré... pas terrible
on change !
pour définir les options par rapport à un poids de fichier final, je pense qu'il faut décortiquer le format gif.
on part du format de chaque image (elle doivent toutes faire la même taille !)

je prend un fichier de 1.9 Mo (1 850 458 octets)

j'ai 750 images pour 40 ms / image (c'est gimp que le dit !)
750x40/1000=30 secondes (c'est bon)
et 40 ms / image soit 1000/40=25 images /sec
et chaque image fait une taille théorique de 1.850458/750=0,002467277 Mo/image (2,467277333 ko / image)
et... en 320x180
0,00004284 Mo par point... 0,042834676 ko / point (43 octets / point)
c'est très théorique mais voilà des infos...

maintenant sur quelles valeurs peut on jouer quand on veut un gif ?
le format, la durée totale, la palette ?
j'y cogite et je reviens (peut être pas ce soir !)

Hors ligne