
Advanced search
Medias (91)
-
Collections - Formulaire de création rapide
19 February 2013, by
Updated: February 2013
Language: français
Type: Picture
-
Les Miserables
4 June 2012, by
Updated: February 2013
Language: English
Type: Text
-
Ne pas afficher certaines informations : page d’accueil
23 November 2011, by
Updated: November 2011
Language: français
Type: Picture
-
The Great Big Beautiful Tomorrow
28 October 2011, by
Updated: October 2011
Language: English
Type: Text
-
Richard Stallman et la révolution du logiciel libre - Une biographie autorisée (version epub)
28 October 2011, by
Updated: October 2011
Language: English
Type: Text
-
Rennes Emotion Map 2010-11
19 October 2011, by
Updated: July 2013
Language: français
Type: Text
Other articles (74)
-
Organiser par catégorie
17 May 2013, byDans 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 (...) -
Création définitive du canal
12 March 2010, byLorsque votre demande est validée, vous pouvez alors procéder à la création proprement dite du canal. Chaque canal est un site à part entière placé sous votre responsabilité. Les administrateurs de la plateforme n’y ont aucun accès.
A la validation, vous recevez un email vous invitant donc à créer votre canal.
Pour ce faire il vous suffit de vous rendre à son adresse, dans notre exemple "http://votre_sous_domaine.mediaspip.net".
A ce moment là un mot de passe vous est demandé, il vous suffit d’y (...) -
Le profil des utilisateurs
12 April 2011, byChaque utilisateur dispose d’une page de profil lui permettant de modifier ses informations personnelle. Dans le menu de haut de page par défaut, un élément de menu est automatiquement créé à l’initialisation de MediaSPIP, visible uniquement si le visiteur est identifié sur le site.
L’utilisateur a accès à la modification de profil depuis sa page auteur, un lien dans la navigation "Modifier votre profil" est (...)
On other websites (5931)
-
How can I combine two separate scripts being piped together to make one script instead of two?
29 March 2016, by user556068I have two scripts that I pipe together.
script1.sh | script2.sh
Originally they were part of the same but I could never make it work correctly. The last part of script1 calls onyoutube-dl
to read a batch file and outputs a list urls into the terminal. Note the trailing-
allows youtube-dl to read from stdin.cat $HOME/file2.txt | youtube-dl --ignore-config -iga -
And script2 begins with:
while read -r input
do
ffmpeg [arg] [input] [arg2] [output]What am I not seeing that is causing the script to hang when the two halves are combined yet work if one is piped into the other?
EDIT - It’s kind of funny how the answer is in the question.. Live and learn.
-
Apply batch script to selected video file
4 March 2017, by AreteI use the following ffmpeg batch file to trim videos
Trim Video Files.bat
set /p startposition=Enter the start position:
set /p endposition=Enter the end position:
ffmpeg -i in.mp4 -ss %startposition% -t %endposition% cut.mp4
pauseThis works only if the input file is named ’in.mp4’, however I would like to be able to just select a video file and drag and drop it on the batch script. In other words how can I make this batch file apply to the selected file only?
-
build: remove unused copy regression test script
5 July 2011, by Diego Biurrunbuild: remove unused copy regression test script