
Recherche avancée
Autres articles (54)
-
Les autorisations surchargées par les plugins
27 avril 2010, parMediaspip core
autoriser_auteur_modifier() afin que les visiteurs soient capables de modifier leurs informations sur la page d’auteurs -
L’utiliser, en parler, le critiquer
10 avril 2011La première attitude à adopter est d’en parler, soit directement avec les personnes impliquées dans son développement, soit autour de vous pour convaincre de nouvelles personnes à l’utiliser.
Plus la communauté sera nombreuse et plus les évolutions seront rapides ...
Une liste de discussion est disponible pour tout échange entre utilisateurs. -
List of compatible distributions
26 avril 2011, parThe table below is the list of Linux distributions compatible with the automated installation script of MediaSPIP. Distribution nameVersion nameVersion number Debian Squeeze 6.x.x Debian Weezy 7.x.x Debian Jessie 8.x.x Ubuntu The Precise Pangolin 12.04 LTS Ubuntu The Trusty Tahr 14.04
If you want to help us improve this list, you can provide us access to a machine whose distribution is not mentioned above or send the necessary fixes to add (...)
Sur d’autres sites (11350)
-
ffmpeg difference between time and rtime, utime
15 janvier, par nojobWhen I execute a command with "-benchmark" I can get some information like
rtime, utime, stime which are real time, user time and system time respectively.
But I can't understand what are they exactly ?
Because as I know, the real time is the wall clock which means the time that the whole process needs.


And there is another time at the end of the command.


Like below :




What is the difference between them ?
time : 00:00:00.16
rtime : 0.197s


-
vc1 : loose one line difference to qatar.
1er septembre 2011, par Michael Niedermayervc1 : loose one line difference to qatar.
-
smackaud : use sign_extend() for difference value instead of casting
9 novembre 2011, par Justin Rugglessmackaud : use sign_extend() for difference value instead of casting