
Recherche avancée
Médias (1)
-
Rennes Emotion Map 2010-11
19 octobre 2011, par
Mis à jour : Juillet 2013
Langue : français
Type : Texte
Autres articles (105)
-
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 (...) -
ANNEXE : Les plugins utilisés spécifiquement pour la ferme
5 mars 2010, parLe site central/maître de la ferme a besoin d’utiliser plusieurs plugins supplémentaires vis à vis des canaux pour son bon fonctionnement. le plugin Gestion de la mutualisation ; le plugin inscription3 pour gérer les inscriptions et les demandes de création d’instance de mutualisation dès l’inscription des utilisateurs ; le plugin verifier qui fournit une API de vérification des champs (utilisé par inscription3) ; le plugin champs extras v2 nécessité par inscription3 (...)
-
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
Sur d’autres sites (12749)
-
oggparsedaala : check number of planes in pixel format map
29 décembre 2015, par Andreas Cadhalpun -
avcodec/mjpegdec : Check number of components for JPEG-LS
4 février 2015, par Michael Niedermayer -
getting ffmpeg progress and pid number in sperated files [closed]
12 décembre 2020, par kadirgecitHello sorry for my bad english.
I need to output file from ffmpeg and ffmpeg's pid number in seperated files. "output.txt" and "pid.txt".


I tried this command, but I guess it's wrong.


ffmpeg -i "input.mkv" {codecsandotherstuf} out.mp4 -y 1> output.txt 2>/dev/null & echo $! >pid.txt



this command gives me nothing.. How can i get theese sperated files ?


Edit : I need an output like this : https://pastebin.pl/view/6bb017a1


What i tried ? :


out.mp4 -y 1>/dev/null 2> output.txt & echo $! > pid.txt
out.mp4 -y 1> output.txt & echo $! > pid.txt
out.mp4 >& output.txt & echo $! >pid.txt



This codes alway giving me an empty output.txt