
Recherche avancée
Médias (1)
-
Bug de détection d’ogg
22 mars 2013, par
Mis à jour : Avril 2013
Langue : français
Type : Video
Autres articles (106)
-
MediaSPIP 0.1 Beta version
25 avril 2011, parMediaSPIP 0.1 beta is the first version of MediaSPIP proclaimed as "usable".
The zip file provided here only contains the sources of MediaSPIP in its standalone version.
To get a working installation, you must manually install all-software dependencies on the server.
If you want to use this archive for an installation in "farm mode", you will also need to proceed to other manual (...) -
Multilang : améliorer l’interface pour les blocs multilingues
18 février 2011, parMultilang est un plugin supplémentaire qui n’est pas activé par défaut lors de l’initialisation de MediaSPIP.
Après son activation, une préconfiguration est mise en place automatiquement par MediaSPIP init permettant à la nouvelle fonctionnalité d’être automatiquement opérationnelle. Il n’est donc pas obligatoire de passer par une étape de configuration pour cela. -
HTML5 audio and video support
13 avril 2011, parMediaSPIP uses HTML5 video and audio tags to play multimedia files, taking advantage of the latest W3C innovations supported by modern browsers.
The MediaSPIP player used has been created specifically for MediaSPIP and can be easily adapted to fit in with a specific theme.
For older browsers the Flowplayer flash fallback is used.
MediaSPIP allows for media playback on major mobile platforms with the above (...)
Sur d’autres sites (4952)
-
g2meet : Allocate cursor buffers large enough to fit the aligned width
11 septembre 2013, par Martin Storsjö -
FFMPEG mp4 to gif gives a large file
20 juillet 2016, par MiLaD GoGoLiI’m conventing a mp4 to gif
my mp4 file is just 500kb but it gives a gif 25mb !
ffmpeg -i ./wt/file.mp4 ./wt/file.gif
-
How to convert large sequence of static gifs to video ?
29 mars 2018, par QuinnI am trying to convert a large amount of static gifs(not animated) into video, but am completely lost on how to proceed.
Specifications :
QTY : 7,500 - 10,000 static .gif images
File Size : 11kb ea.
Image Dimensions : 580x580px
File Naming : I_20000880002-20000880626.gif, I_20000880626-20000882042.gif, I_20000882042-20000891054.gif, etc...
I have tried many different things, but none of them have worked. First, I tried Adobe Media Encoder. That failed, it couldn’t handle 10k files. I tried ffmpeg, which didn’t really work. The code I used is as follows :
ffmpeg -r 60 -f image2 -s 580x580 -i pic%04d.png -vcodec libx264 -crf 25 -pix_fmt yuv420p test.mp4
This didn’t work because it was trying to import .png files. I then changed the .png extension to .gif in the code. So :
ffmpeg -r 60 -f image2 -s 580x580 -i pic%04d.gif -vcodec libx264 -crf 25 -pix_fmt yuv420p test.mp4
I’m not an expert in ffmpeg by any means, so the code I executed might not have the proper syntax, at least in regards to
-i pic%04d.gif
. I suppose I could convert the .gifs into .pngs, then run the original code, but I’m not totally sure how to do that with ffmpeg.If anyone has any tips, they would be most appreciated. Also, I am using Windows 10 but I do have the linux subsystem installed. Thanks.