
Recherche avancée
Autres articles (70)
-
Organiser par catégorie
17 mai 2013, parDans MédiaSPIP, une rubrique a 2 noms : catégorie et rubrique.
Les différents documents stockés dans MédiaSPIP peuvent être rangés dans différentes catégories. On peut créer une catégorie en cliquant sur "publier une catégorie" dans le menu publier en haut à droite ( après authentification ). Une catégorie peut être rangée dans une autre catégorie aussi ce qui fait qu’on peut construire une arborescence de catégories.
Lors de la publication prochaine d’un document, la nouvelle catégorie créée sera proposée (...) -
Récupération d’informations sur le site maître à l’installation d’une instance
26 novembre 2010, parUtilité
Sur le site principal, une instance de mutualisation est définie par plusieurs choses : Les données dans la table spip_mutus ; Son logo ; Son auteur principal (id_admin dans la table spip_mutus correspondant à un id_auteur de la table spip_auteurs)qui sera le seul à pouvoir créer définitivement l’instance de mutualisation ;
Il peut donc être tout à fait judicieux de vouloir récupérer certaines de ces informations afin de compléter l’installation d’une instance pour, par exemple : récupérer le (...) -
Support de tous types de médias
10 avril 2011Contrairement à beaucoup de logiciels et autres plate-formes modernes de partage de documents, MediaSPIP a l’ambition de gérer un maximum de formats de documents différents qu’ils soient de type : images (png, gif, jpg, bmp et autres...) ; audio (MP3, Ogg, Wav et autres...) ; vidéo (Avi, MP4, Ogv, mpg, mov, wmv et autres...) ; contenu textuel, code ou autres (open office, microsoft office (tableur, présentation), web (html, css), LaTeX, Google Earth) (...)
Sur d’autres sites (2476)
-
Révision 23678 : Bugfix dans recup_date() quand on lui passe une chaîne du type 2017-07
20 juillet 2017, par brunobergot@gmail.comSous PHP 5.5.38-1 le test `substr($jour, 0, 1) == ’0’` renvoie true quand `$jour = ’’` ce qui fait renvoyer un valeur false pour le jour au lieu d’une chaîne vide.
r23409 ayant modifié affdate_base(), ce cas ne passait plus par `strtotime($numdate)` mais par `mktime($heures, $minutes, $secondes, $mois, $jour, $annee)` qui génère un timestamp décalé d’un jour en arrière.
On obtenait donc 06 au lieu de 07 pour `[(#VAL2017-07|affdatem)]`pfiou :p
-
100% of gif does not convert to mp4 with moviepy
25 mai 2018, par ThePeskyWabbitwhen I execute the following code :
import requests
import moviepy.editor as mp
url = "https://i.imgur.com/VaTidQA.gif"
with open('temp.gif', 'wb') as f:
f.write(requests.get(url).content)
clip = mp.VideoFileClip("temp.gif")
print(clip.duration)
clip.write_videofile("temp.mp4")I experience loss of frames on the mp4 file. the mp4 will always start from the beginning but will seemingly arbitrarily cut off at some point.
Here is an example :
GIF : https://i.imgur.com/VaTidQA.gif
MP4 : https://giphy.com/gifs/pesky-wabbit-5UqQOjkYLuWrvHzvsA
The gif is indeed downloaded in its entirety.
Upon testing, I found that if I change the last line to :
clip.set_duration(clip.duration + X).write_videofile("temp.mp4")
then it will indeed extend the MP4 and cut off less, but this needs to be a variable script as it will be used for many, many gifs. It is almost certainly due to the fact that moviepy is getting the wrong duration from the gif. Any suggestions on how I can remedy this ?
update : I have determined that moviepy is obtaining the incorrect duration from the gif. when that duration is passed to the
write_videofile()
call, it only writes that shorter interval. I am looking into how it determines the gif duration. -
fate : Explicitly specify the rgb555le pixel format for the mss2 rgb555 tests
10 janvier 2014, par Martin Storsjö